sudo dnf upgrade --refresh --advisory=FEDORA-2017-f4c32334cc
This update has been submitted for testing by petersen.
This update has obsoleted Agda-2.5.2-4.fc26, and has inherited its bugs and notes.
petersen edited this update.
New build(s):
Removed build(s):
This update has been pushed to testing.
This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes
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-2.5.2-4.fc26, and has inherited its bugs and notes.
petersen edited this update.
petersen edited this update.
New build(s):
Removed build(s):
petersen edited this update.
New build(s):
This update has been pushed to testing.
This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by petersen.
This update has been pushed to stable.