FEDORA-2022-8e85d973a7 — unspecified update for Agda

stable

FEDORA-2022-8e85d973a7 created by petersen a year ago for Fedora 37

Automatic update for Agda-2.6.2.1-35.fc37.

* Mon Mar  7 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.1-35
- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog

sudo dnf upgrade --refresh --advisory=FEDORA-2022-8e85d973a7

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

ignored

Builds

Settings

Unstable by Karma

-3

Stable by Karma

disabled

Stable by Time

0 days

Dates

submitted

a year ago

in testing

a year ago

in stable

a year ago

Agda-2.6.2.1-35.fc37

ignored