FEDORA-2021-690c831048 — unspecified update for cbmc

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

stable

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

5 months ago

in testing

5 months ago

in stable

5 months ago

cbmc-5.37.0-1.fc35