Build 7ac2b04f-2db2-4310-a4f5-0f5331b301e6 — bordeaux.guix.gnu.org
Derivation
/gnu/store/ikafn631bw3pzih3fbk1h2f83q1vd8y6-coq-bignums-8.11.0.drv
Tags
Submitted at
2021-06-18 15:43:42
State
Pending
Priority
0