Build 25e34970-8a66-4ced-a855-c8b47b9ccd58 — bordeaux.guix.gnu.org
Derivation
/gnu/store/mmgqgdq74kqqagsmqv862fzmx01dhzvh-agda-2.6.0.1.drv
Tags
Submitted at
2021-05-14 07:43:36
State
Pending
Priority
0