stable

alt-ergo-2.2.0-5.fc33, apron-0.9.13-1.fc33, & 8 more

FEDORA-2020-81c6832226 created by jjames 4 years ago for Fedora 33

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

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-81c6832226

This update has been submitted for testing by jjames.

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

This update has been pushed to testing.

4 years ago

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

4 years ago

This update has been submitted for stable by bodhi.

4 years ago

This update has been pushed to stable.

4 years ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years 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