Changes in apron 0.9.13:

  • Fix Java version detection & compilation (#30)
  • Minor grammar and spelling fixes (#22), (#26)
  • Use texi2any instead of (dead) texi2html (#23)
  • Fix best and exact flags in octagons (#25)
  • Fix linking under MaxOS X (#28)
  • Taylor1+ fixes

Changes in flocq 3.3.1-7:

  • Fix installation issues

Changes in ocaml-zarith 1.10:

  • Improvement #66: added some mpz functions (divisible, congruent, jacobi, legendre, krobecker, remove, fac, primorial, bin, fib, lucnum)
  • Improvement #65: Q.of_string now handles decimal point and scientific notation [Ghiles Ziat]
  • Fix #60: Z.root now raises an exception for invalid arguments
  • Fix #62: raise division by 0 for 0-modulo in powm
  • Fix #59: improved abs for negative arguments
  • Fix #58: gcd, lcm, gcdext now behave as gmp for negative arguments
  • Fix #57: clean compile with sage strings [hugo]

Changes in why3 1.3.2:

  • fixed compilation on BSD/macOS
  • fixed use_api examples
  • removed support for strings from the default variant of CVC4 1.7
  • fixed custom editors for provers not being saved

Changes in why3 1.3.3:

  • fixed compilation on OpenBSD
  • support for Coq 8.12.0 (released Jul 27, 2020)

Changes in z3 4.8.9:

  • move to python3 for release.yml
  • disable pip in trial release
  • fixing #4670 (#4682)
  • fix missing parenthesis in C++ API
  • add macros to model #4679
  • fix regression in get-consequence on QF_FD
  • remove xcode

The alt-ergo, frama-c, gappalib-coq, ocaml-cryptokit, and ocaml-tplib builds are simple rebuilds due to the changes above.

How to install

sudo dnf upgrade --advisory=FEDORA-2020-81c6832226

This update has been submitted for testing by jjames.

8 months ago

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

8 months ago

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

8 months ago

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

8 months ago

This update has been pushed to testing.

8 months ago

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

7 months ago

This update has been submitted for stable by bodhi.

7 months ago

This update has been pushed to stable.

7 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
8 months ago
in testing
8 months ago
in stable
7 months ago
BZ#1872188 F33FailsToInstall: frama-c
0
0
BZ#1876638 F34FailsToInstall: gappalib-coq
0
0
BZ#1878004 z3-4.8.9 is available
0
0

Automated Test Results