Build c482f959-c3c4-44fd-8dd0-824ac1920df7 — bordeaux.guix.gnu.org
Derivation
/gnu/store/48n1hwdzj4rwjlrn1adpqcakcy12m0n6-agda-2.6.2.drv
Tags
Submitted at
2021-11-17 19:45:45
State
Pending
Priority
0