cryptominisat-2.9.11-1.fc24:

  • This maintenance release is to fix a bug in the Gaussian Elimination code that could trigger in some situations.

gmp-ecm-7.0-1.fc24:

  • GMP-ECM is now thread-safe. In particular the "ecmfactor" binary can be called with say -t 17 to use 17 threads.
  • Added GPU code for Step 1 (command-line option -gpu).
  • Command-line option -param allows to choose the parametrization (valid values are 0, 1, 2, 3). Command-line option -sigma allows to choose the parameter. "-sigma i:s" is a shortcut to "-param i -sigma s". Use -param 0 to get historical Suyama parametrization.
  • The batch mode is now chosen with -param command-line option. The default parametrization depends on other command-line options.
  • For P-1 stage 2, by default the NTT code is always used.
  • Speedup in stage 2 with -no-ntt
  • New primality proving code with APRCL (contributed by David Cleaver) with --enable-aprcl (default=yes)
  • Removed some options that were unused or not tested (-n, -nn, -ve, -cofdec, -B2scale).
  • The configure --enable-shellcmd option was removed, and also the --enable-memory-debug configure option (now obsolete with valgrind).
  • The -b options was removed (breadth-first mode)
  • Improved source coverage (92.7% of source code lines)

minisat2-2.2.1-1.fc24:

  • Use Debian sources (minor fixes and cleanups over previous upstream).

ntl-9.7.0-1.fc24:

sympy-1.0-1.fc24:

cbmc-5.4-1.fc24:

All other packages are rebuilds due to the updated packages above.

How to install

sudo dnf upgrade --advisory=FEDORA-2016-5d8885f434

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):

  • sympy-1.0-2.fc24

Removed build(s):

  • sympy-1.0-1.fc24
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 has been submitted for stable by jjames.

5 years ago

This update has been pushed to stable.

5 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
medium
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
5 years ago
in testing
5 years ago
in stable
5 years ago
modified
5 years ago
BZ#1316322 sympy-1.0 is available
0
0

Automated Test Results