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:

• See http://shoup.net/ntl/doc/tour-changes.html for changes in this release.

sympy-1.0-1.fc24:

• See https://github.com/sympy/sympy/wiki/Release-Notes-for-1.0 for changes in this release.

cbmc-5.4-1.fc24:

• See https://groups.google.com/forum/#!topic/cprover/X-OkBlbI2-M for changes in this release.

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