stable

cbmc-5.95.1-4.fc40

FEDORA-2024-105ccb5b86 created by lzaoral 12 months ago for Fedora 40

Automatic update for cbmc-5.95.1-4.fc40.

Changelog
* Fri Feb  9 2024 Lukáš Zaoral <lzaoral@redhat.com> - 5.95.1-4
- fix FTBFS on Rawhide (rhbz#2259235)
* Tue Jan 23 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.95.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

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-105ccb5b86

This update was automatically created

12 months ago

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

12 months ago

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

12 months ago

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

12 months ago

This update has been submitted for stable by bodhi

12 months ago

Please login to add feedback.

Metadata
Type
unspecified
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
0 days
Dates
submitted
12 months ago
in testing
12 months ago
in stable
12 months ago
approved
12 months ago
BZ#2259235 cbmc: FTBFS in Fedora Rawhide
0
0

Automated Test Results