stable

frama-c-28.0-4.fc40

FEDORA-2024-8868149595 created by jjames 3 months ago for Fedora 40

Automatic update for frama-c-28.0-4.fc40.

Changelog
* Fri Feb  2 2024 Jerry James <loganjerry@gmail.com> - 28.0-4
- Rebuild for why3 1.7.1

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

This update was automatically created

3 months ago

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

3 months ago

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

3 months ago

This update has been submitted for stable by bodhi

3 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
3 months ago
in testing
3 months ago
in stable
3 months ago
approved
3 months ago

Automated Test Results