Bug 1011750 - Dependency on libcryptominisat-2.9.6.so
Summary: Dependency on libcryptominisat-2.9.6.so
Keywords:
Status: CLOSED INSUFFICIENT_DATA
Alias: None
Product: Fedora
Classification: Fedora
Component: sagemath
Version: 20
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Paulo Andrade
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2013-09-25 04:37 UTC by Amit Saha
Modified: 2015-07-26 22:15 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2015-02-15 14:22:58 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

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.
Note You need to log in before you can comment on or make changes to this bug.