stable

frama-c-27.1-7.fc40

FEDORA-2023-61b2204883 created by jjames 5 months ago for Fedora 40

Automatic update for frama-c-27.1-7.fc40.

Changelog
* Tue Dec  5 2023 Jerry James <loganjerry@gmail.com> - 27.1-7
- Rebuild for ocaml-dune 3.12.1 (rhbz#2252981)

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-2023-61b2204883

This update was automatically created

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
unspecified
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
disabled
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#2252981 F40FailsToInstall: frama-c
0
0

Automated Test Results