stable

alt-ergo-2.3.3-20.fc41, coq-8.18.0-9.fc41, & 7 more

FEDORA-2024-3118c57920 created by jjames 5 months ago for Fedora 41

Changes in flocq 4.2.0:

  • added SF2B' as a proof-free variant of SF2B
  • fixed installation of Pff2Flocq
  • ensured compatibility from Coq 8.12 to 8.20

Changes in ocaml-cryptokit 1.20.1:

  • Name space depollution: make C implementations of ciphers local to the OCaml/C stub code, so that they do not conflict with other C libraries implementing crypto functions with the same names (#35, #36)

See https://github.com/ocaml/Zarith/releases/tag/release-1.14 for changes in ocaml-zarith 1.14.

All 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-3118c57920

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'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
Autopush 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#2263346 gappalib-coq-1.5.5 is available
0
0
BZ#2298088 ocaml-zarith-1.14 is available
0
0

Automated Test Results