Build 66fee34f-2bcf-47de-a8f2-32e4c80fb8c4 — bordeaux.guix.gnu.org
Derivation
/gnu/store/rjz8kda0dzabw8s36yy2fx381kmi93rg-agda-2.6.0.1.drv
Tags
Submitted at
2021-08-11 17:44:43
State
Pending
Priority
0