stable

cryptominisat-5.7.1-1.fc32, cvc4-1.7-9.fc32, & 3 more

FEDORA-2020-e9531c1353 created by jjames 5 years ago for Fedora 32

Changes in cryptominisat 5.7.0:

  • Improved parameters
  • Hybrid branching strategies
  • and much more

Changes in cryptominisat 5.7.1:

  • Removed LSIDS, as it was interfering with performance.

Changes in sagemath:

  • Fixed an incompatibility with python 3.8 in the bundled ipython
  • Install missing threejs_template.html and other missing files
  • Require libgap-devel at runtime to fix GAP library loading

All other packages are simple rebuilds due to the cryptominisat update.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2020-e9531c1353

This update has been submitted for testing by jjames.

5 years ago

This update's test gating status has been changed to 'waiting'.

5 years ago

This update's test gating status has been changed to 'ignored'.

5 years ago

This update has been pushed to testing.

5 years ago

jjames edited this update.

New build(s):

  • sagemath-9.0-5.fc32

Removed build(s):

  • sagemath-9.0-3.fc32

Karma has been reset.

5 years ago

This update has been submitted for testing by jjames.

5 years ago

This update has been pushed to testing.

5 years ago

jjames edited this update.

New build(s):

  • sagemath-9.0-6.fc32

Removed build(s):

  • sagemath-9.0-5.fc32

Karma has been reset.

5 years ago

This update has been submitted for testing by jjames.

5 years ago

This update has been pushed to testing.

5 years ago

jjames edited this update.

New build(s):

  • sagemath-9.0-7.fc32

Removed build(s):

  • sagemath-9.0-6.fc32

Karma has been reset.

5 years ago

This update has been submitted for testing by jjames.

5 years ago

This update has been pushed to testing.

5 years ago

This update can be pushed to stable now if the maintainer wishes

5 years ago

This update has been submitted for stable by bodhi.

5 years ago

This update has been pushed to stable.

5 years ago

Please log in to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
5 years ago
in testing
5 years ago
in stable
5 years ago
modified
5 years ago
BZ#1832673 Sagemath won't calculate some simple mathematical expressions.
0
0

Automated Test Results