Update to 0.15
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-9c960964af
This update has been submitted for testing by petersen.
This update has obsoleted Agda-stdlib-0.15-1.fc28, and has inherited its bugs and notes.
petersen edited this update.
This update has been pushed to testing.
works
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for batched by petersen.
This update has been submitted for stable by petersen.
This update has been pushed to stable.
Please login to add feedback.
Confirm request to re-trigger tests.
This update has been submitted for testing by petersen.
This update has obsoleted Agda-stdlib-0.15-1.fc28, and has inherited its bugs and notes.
petersen edited this update.
This update has been pushed to testing.
works
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for batched by petersen.
This update has been submitted for stable by petersen.
This update has been pushed to stable.