stable

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

FEDORA-2022-dbf52e077f created by petersen a year ago for Fedora 36

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-dbf52e077f

This update has been submitted for testing by petersen.

a year ago

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

a year ago

This update has been pushed to testing.

a year ago

petersen edited this update.

New build(s):

  • Agda-stdlib-1.7.1-1.fc36

Karma has been reset.

a year ago

This update has been submitted for testing by petersen.

a year ago

This update has been pushed to testing.

a year ago

petersen edited this update.

a year ago

This update has been submitted for stable by bodhi.

11 months ago

This update has been pushed to stable.

11 months ago

Please login to add feedback.

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

Automated Test Results