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

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

This update has been submitted for testing by jjames.

2 years ago

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

2 years ago

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

2 years ago

This update has been pushed to testing.

2 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.

2 years ago

This update has been submitted for testing by jjames.

2 years ago

This update has been pushed to testing.

2 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.

2 years ago

This update has been submitted for testing by jjames.

2 years ago

This update has been pushed to testing.

2 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.

2 years ago

This update has been submitted for testing by jjames.

2 years ago

This update has been pushed to testing.

2 years ago

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

2 years ago

This update has been submitted for stable by bodhi.

2 years ago

This update has been pushed to stable.

2 years ago

Please login to add feedback.

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

Automated Test Results