stable

Agda-2.6.2.1-35.fc36 and Agda-stdlib-1.7.1-1.fc36

FEDORA-2022-dbf52e077f created by petersen 4 years ago for Fedora 36

How to install

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

This update has been submitted for testing by petersen.

4 years ago

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

4 years ago

This update has been pushed to testing.

4 years ago

petersen edited this update.

New build(s):

  • Agda-stdlib-1.7.1-1.fc36

Karma has been reset.

4 years ago

This update has been submitted for testing by petersen.

4 years ago

This update has been pushed to testing.

4 years ago

petersen edited this update.

4 years ago

This update has been submitted for stable by bodhi.

4 years ago

This update has been pushed to stable.

4 years ago

Please log in to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago
modified
4 years ago
BZ#2069421 F36FailsToInstall: Agda-stdlib
0
0

Automated Test Results