stable

Agda-2.6.4-41.fc40 and Agda-stdlib-1.7.3-1.fc40

FEDORA-2023-ce6c1b95d9 created by petersen 7 months ago for Fedora 40

Agda-stdlib-1.7.3-1.fc40

  • update to 1.7.3 for Agda 2.6.4

Agda-2.6.4-41.fc40

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-2023-ce6c1b95d9

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

7 months ago

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

7 months ago

This update has been submitted for stable by bodhi

7 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
0 days
Dates
submitted
7 months ago
in testing
7 months ago
in stable
7 months ago
approved
7 months ago

Automated Test Results