Build a968df45-0b19-4f7f-a308-75d3284852a3 — bordeaux.guix.gnu.org
Derivation
/gnu/store/xlxqgldvna02zi31a70pxfmpar5674sp-coq-core-8.14.1-checkout.drv
Tags
Submitted at
2021-12-22 13:07:26
State
Pending
Priority
0