stable

alt-ergo-2.3.3-14.fc40, coccinelle-1.1.1-27.20230624git0afff7f.fc40, & 12 more

FEDORA-2024-49d89e7565 created by jjames 5 months ago for Fedora 40

See https://coq.inria.fr/refman/changes.html for changes in coq 8.18.0.

See https://gitlab.inria.fr/flocq/flocq/-/blob/master/NEWS.md for changes in flocq 4.1.3.

See https://git.frama-c.com/pub/frama-c/-/blob/master/Changelog?ref_type=heads for changes in frama-c 28.0.

Changes in gappa 1.4.2:

  • Configure script regenerated using a recent version of Autoconf

Changes in gappalib-coq 1.5.4:

  • ensured compatibility from Coq 8.8 to 8.18

Changes in ocaml-mlmpfr 4.2.1:

  • Final release of version supporting mpfr 4.2.1

Changes in ocaml-num:

  • Build with make again instead of dune, due to why3 breakage

See https://gitlab.inria.fr/why3/why3/-/blob/master/CHANGES.md for changes in why3 1.7.0.

Other builds are simple rebuilds due to the above changes.

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-2024-49d89e7565

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

5 months ago

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

5 months ago

This update has been submitted for stable by bodhi

5 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
0 days
Dates
submitted
5 months ago
in testing
5 months ago
in stable
5 months ago
approved
5 months ago
BZ#2251310 why3-1.7.0 is available
0
0
BZ#2255008 F40FailsToInstall: frama-c
0
0
BZ#2255011 F40FailsToInstall: ocaml-why3, ocaml-why3-devel
0
0
BZ#2256476 F40FailsToInstall: alt-ergo
0
0

Automated Test Results