Build 43ea9b55-4d9e-4c50-8804-025c862bddf9 — bordeaux.guix.gnu.org
Derivation
/gnu/store/q1q1fr8499dvnhysvrqlwm8iyli7vb9v-agda-ial-1.5.0.drv
Tags
Submitted at
2021-06-02 12:57:16
State
Pending
Priority
0