Build e27fc4e8-ff3b-49b6-80c4-2a6435086ed5 — bordeaux.guix.gnu.org
Derivation
/gnu/store/zkzd65n4zqxhxf9vxvs4izn9pglm9zai-coq-stdpp-1.5.0.drv
Tags
Submitted at
2021-08-01 04:32:42
State
Pending
Priority
0