Build 1b215b46-2ea3-48b4-a7d3-a8de0a4f2c39 — bordeaux.guix.gnu.org
Derivation
/gnu/store/8i0dnwaz7cz1kjj19mj5h19i0dawgvkm-coq-stdlib-8.14.1.drv
Tags
Submitted at
2022-01-09 12:54:45
State
Succeeded
Priority
0
View build log