FEDORA-2021-aa9f6dbb35 — unspecified update for alt-ergo

stable

FEDORA-2021-aa9f6dbb35 created by jjames 3 years ago for Fedora 35

Automatic update for alt-ergo-2.2.0-13.fc35.

* Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-13
- Rebuild for changed ocamlx(Dynlink)

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

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 log in to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

ignored

Autopush Settings

Unstable by Karma

-3

Stable by Karma

disabled

Stable by Time

0 days

Dates

submitted

3 years ago

in testing

3 years ago

in stable

3 years ago

Builds

ignored