Build 1e609e8c-7bad-4b08-aef7-08134e7544c0 — bordeaux.guix.gnu.org
Derivation
/gnu/store/xgf3344dlwmi0f6hr40j5i89id3hsmsc-coq-coquelicot-3.1.0.drv
Tags
Submitted at
2021-08-01 04:32:26
State
Pending
Priority
0