Build cdca158d-afb6-4562-8a7d-c4546fce77a7 — bordeaux.guix.gnu.org
Derivation
/gnu/store/gqhk9fnvgcl5w0ih445js2h3950av8z5-agda-ial-1.5.0-checkout.drv
Tags
Submitted at
2021-06-02 12:57:16
State
Pending
Priority
0