Build 9e4afbb4-5d3d-4fdf-811f-e09368156566 — bordeaux.guix.gnu.org
Derivation
/gnu/store/m4qsa8220xqg1fid2byiyl2l7s1rhgkm-agda-2.6.2.drv
Tags
Submitted at
2021-11-18 08:42:45
State
Pending
Priority
0