stable

frama-c-25.0-6.fc38, ocaml-stdint-0.7.2-1.fc38, & 1 more

FEDORA-2022-aab1e5c171 created by jjames a year ago for Fedora 38

Changes in ocaml-stdint 0.7.2:

  • Fix compatibility with OCaml 5.0 on 32-bits systems (#69)
  • Fix build system, opam file, and documentation (#69)

Changes in ocaml-zmq 5.2.0:

  • Remove dependency on StdInt (#121)
  • Silence warnings about const char* when writing to the inside of an allocated string value (#116)

Changes in frama-c:

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-2022-aab1e5c171

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

a year ago

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

a year ago

This update has been submitted for stable by bodhi

a year ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
a year ago
in testing
a year ago
in stable
a year ago

Automated Test Results