Build 155d03de-0077-4af4-aa90-c3ba5da5ce23 — bordeaux.guix.gnu.org
Derivation
/gnu/store/3sqsv3cqgqfkwr5hrvxyshliwgdizk21-coq-core-8.14.1.drv
Tags
Submitted at
2022-01-09 12:54:45
State
Succeeded
Agent
6807d2ce-ff70-4693-aa98-4e831eca9d24
Priority
0
View build log