FEDORA-2021-690c831048 — unspecified update for cbmc

stable

FEDORA-2021-690c831048 created by lzaoral 12 months ago for Fedora 35

Automatic update for cbmc-5.37.0-1.fc35.

* Mon Aug 23 2021 Pavel Simovec <psimovec@redhat.com> - 5.37.0-1
- New upstream release
- fix broken indentation in a patch

sudo dnf upgrade --refresh --advisory=FEDORA-2021-690c831048

This update was automatically created

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

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

This update has been submitted for stable by bodhi

Please login to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

Builds

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

cbmc-5.37.0-1.fc35