stable

Agda-stdlib-0.15-4.fc29

FEDORA-2018-d518ac06b3 created by petersen 6 years ago for Fedora 29
  • fix location of library files
  • require ghc-Agda

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-2018-d518ac06b3

This update has been submitted for testing by petersen.

6 years ago

petersen edited this update.

6 years ago

Agda-stdlib-0.15-4.fc29 ejected from the push because u"Cannot find relevant tag for Agda-stdlib-0.15-4.fc29. None of ['f29-updates-candidate', 'f29-updates-testing-pending'] are in [u'f22-updates-candidate', u'f21-updates-candidate', u'f25-updates-candidate', u'f24-updates-candidate', u'f23-updates-candidate', u'f28-updates-candidate', u'f27-updates-candidate', u'f26-updates-candidate', u'dist-6E-epel-testing-candidate', u'epel7-testing-candidate', u'dist-5E-epel-testing-candidate', u'f27-modular-updates-candidate', u'f28-modular-updates-candidate']."

6 years ago

This update has been submitted for testing by mohanboddu.

6 years ago

This update has been pushed to testing.

6 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

6 years ago

This update has been submitted for batched by petersen.

6 years ago

This update has been submitted for stable by bodhi.

6 years ago

This update has been pushed to stable.

6 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
6 years ago
in testing
6 years ago
in stable
6 years ago
modified
6 years ago

Automated Test Results