Build da351c0c-ca1b-4079-9872-74dfc09ce6c7 — bordeaux.guix.gnu.org
Derivation
/gnu/store/vpwdpxjm3k8ly1wnzcb40yabl333727h-coq-core-8.14.0-checkout.drv
Tags
Submitted at
2021-12-15 19:29:22
State
Succeeded
Agent
b57898c3-7187-4c56-9d3c-4e68b954b79a
Priority
0
View build log