Build ff5c9dee-1b10-4ade-9078-bb985b965653 — bordeaux.guix.gnu.org
Derivation
/gnu/store/rh80jmc2wczjh6vd8xkfkqgl0krd943p-agda-2.6.2.1.drv
Tags
Submitted at
2022-01-19 14:18:27
State
Pending
Priority
0