Build b61f0b7a-e462-48a1-a0fe-bc1797402a41 — bordeaux.guix.gnu.org
Derivation
/gnu/store/n090dmapz2gcpwcc90dkl5g3yiqgsgwj-agda-ial-1.5.0.drv
Tags
Submitted at
2021-12-17 13:23:52
State
Pending
Priority
0