FEDORA-2017-53017fab86 — enhancement update for Agda

obsolete

FEDORA-2017-53017fab86 created by petersen 6 years ago for Fedora 26

Update to 2.5.2

This update has been submitted for testing by petersen.

This update has been pushed to testing.

This update has been obsoleted by Agda-2.5.2-5.fc26.

Please login to add feedback.

Metadata

Type

enhancement

Karma

Signed

Content Type

RPM

Test Gating

None

Builds

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

6 years ago

in testing

6 years ago

BZ#1224825 Agda-2.5.2 is available

Agda-2.5.2-4.fc26

None