Build 7e321811-b71b-40e8-89e4-b8cee307eab9 — bordeaux.guix.gnu.org
Derivation
/gnu/store/vagk7fffprvy8flz322b3553slpwi9kw-coq-core-8.14.0.drv
Tags
Submitted at
2021-12-15 19:29:22
State
Succeeded
Agent
b57898c3-7187-4c56-9d3c-4e68b954b79a
Priority
0
View build log