Build 26ad5ea7-dc14-4861-aa35-a68ec39cfea0 — bordeaux.guix.gnu.org
Derivation
/gnu/store/d6fci110yzxqid9zvhavyaigvsrbxx6a-coq-stdlib-8.14.1.drv
Tags
Submitted at
2021-12-22 13:06:16
State
Succeeded
Agent
bc5f3585-03f9-4ab3-8604-6acc89512fba
Priority
0
View build log