Update to 0.15
This update has been submitted for testing by petersen.
This update has been pushed to testing.
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been obsoleted by Agda-stdlib-0.15-4.fc28.
Please login to add feedback.
Confirm request to re-trigger tests.
Copyright © 2007-2023 Red Hat, Inc. and
bodhi-server 7.2.1 on
bodhi is Free Software.
if you have any problems. Read the documentation.