Bug 1011750

Summary: Dependency on libcryptominisat-2.9.6.so
Product: [Fedora] Fedora Reporter: Amit Saha <asaha>
Component: sagemathAssignee: Paulo Andrade <paulo.cesar.pereira.de.andrade>
Status: CLOSED INSUFFICIENT_DATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 20CC: ebaak, paulo.cesar.pereira.de.andrade
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2015-02-15 14:22:58 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:

Description Amit Saha 2013-09-25 04:37:37 UTC
Description of problem:


# yum update

Error: Package: sagemath-core-5.10-4.fc20.x86_64 (@updates-testing)
           Requires: libcryptominisat-2.9.6.so()(64bit)
           Removing: cryptominisat-libs-2.9.6-2.fc20.x86_64 (@fedora)
               libcryptominisat-2.9.6.so()(64bit)
           Updated By: cryptominisat-libs-2.9.8-1.fc20.x86_64 (updates-testing)
              ~libcryptominisat-2.9.8.so()(64bit)


Version-Release number of selected component (if applicable):

sagemath-core-5.10-4.fc20.x86_64

How reproducible:


Steps to Reproduce:
1. 
2.
3.

Actual results:


Expected results:

Updates cleanly.


Additional info:

Comment 1 Paulo Andrade 2015-02-15 14:22:58 UTC
[Cleaning up bugzilla]
I believe this problem has been corrected, and was a
temporary issue, as I had sagemath working until 1+
month ago when I updated my "fedora stable" box to f21.