Build de9f81a7-d3fe-46f7-aebe-7a29c5b9e5a9 — bordeaux.guix.gnu.org
Derivation
/gnu/store/nixnhl88gp79viq0i1m96anwv6sfj9n6-agda-2.6.0.1.drv
Tags
Submitted at
2021-05-12 23:25:36
State
Pending
Priority
0