Build bfa84a3e-0e6b-4037-8db0-e40d9a762917 — bordeaux.guix.gnu.org
Derivation
/gnu/store/dapwap9d5rids2zr5lvg4w4h6kwrmcgp-coq-mathcomp-1.11.0.drv
Tags
Submitted at
2021-06-18 15:40:21
State
Pending
Priority
0