stable

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

FEDORA-2022-be9715ae92 created by jjames a year ago for Fedora 37

Changes in ocaml-stdint 0.7.1:

  • Fix undefined reference to get_uint128 (#62)
  • Add [@@noalloc] where possible (#64)
  • Fix compatibility with 5.0 (#68)

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-be9715ae92

This update has been submitted for testing by jjames.

a year ago

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

a year ago

This update has been pushed to testing.

a year ago

jjames edited this update.

New build(s):

  • ocaml-zmq-5.1.5-5.fc37

Karma has been reset.

a year ago

This update has been submitted for testing by jjames.

a year ago

This update has been pushed to testing.

a year ago

jjames edited this update.

New build(s):

  • frama-c-25.0-5.fc37

Karma has been reset.

a year ago

This update has been submitted for testing by jjames.

a year ago

This update has been pushed to testing.

a year ago

This update has been submitted for stable by bodhi.

a year ago

jjames edited this update.

New build(s):

  • ocaml-stdint-0.7.2-1.fc37
  • ocaml-zmq-5.2.0-1.fc37
  • frama-c-25.0-6.fc37

Removed build(s):

  • frama-c-25.0-5.fc37
  • ocaml-stdint-0.7.1-1.fc37
  • ocaml-zmq-5.1.5-5.fc37

Karma has been reset.

a year ago

This update has been submitted for testing by jjames.

a year ago

This update has been pushed to testing.

a year ago

This update has been submitted for stable by bodhi.

a year ago

This update has been pushed to stable.

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
7 days
Dates
submitted
a year ago
in testing
a year ago
in stable
a year ago
modified
a year ago
BZ#2135073 ocaml-stdint-0.7.1 is available
0
0
BZ#2136574 ocaml-stdint-0.7.2 is available
0
0
BZ#2137875 e-acsl-gcc.sh uses lib instead of lib64
0
0
BZ#2138480 ocaml-zmq-5.2.0 is available
0
0

Automated Test Results