Bug 1709732 - nothing provides sbcl = 1.4.14-1.fc30 needed by pvs-sbcl-6.0-61.fc30.x86_64
Summary: nothing provides sbcl = 1.4.14-1.fc30 needed by pvs-sbcl-6.0-61.fc30.x86_64
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: pvs-sbcl
Version: 30
Hardware: x86_64
OS: Linux
unspecified
medium
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2019-05-14 08:35 UTC by Edgar Hoch
Modified: 2019-05-25 01:04 UTC (History)
1 user (show)

Fixed In Version: pvs-sbcl-6.0-62.fc30
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-05-25 01:04:43 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Edgar Hoch 2019-05-14 08:35:14 UTC 
Description of problem:
When I try to install Fedora 30 using kickstart that contains package group
@engineering-and-scientific --optional
then I get the following error:
  - nothing provides sbcl = 1.4.14-1.fc30 needed by pvs-sbcl-6.0-61.fc30.x86_64

Version-Release number of selected component (if applicable):
Fedora 30 x86_64
pvs-sbcl-6.0-61.fc30.x86_64

How reproducible:
Always

Steps to Reproduce:
1. Kickstart Installation of Fedora 30 with 
@engineering-and-scientific --optional
in %packages part
Comment 1 Fedora Update System 2019-05-15 04:00:10 UTC 
pvs-sbcl-6.0-62.fc30 has been submitted as an update to Fedora 30. https://bodhi.fedoraproject.org/updates/FEDORA-2019-f2d47206d7
Comment 2 Fedora Update System 2019-05-16 02:36:15 UTC 
pvs-sbcl-6.0-62.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report.
See https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-f2d47206d7
Comment 3 Fedora Update System 2019-05-25 01:04:43 UTC 
pvs-sbcl-6.0-62.fc30 has been pushed to the Fedora 30 stable repository. If problems still persist, please make note of it in this bug report.
Note You need to log in before you can comment on or make changes to this bug.