Build 0e9ca0e2-60d5-4750-97ca-0acf788d5a56 — bordeaux.guix.gnu.org
Derivation
/gnu/store/xp3j3n74wv5h8c2i73fg8hcf27w5v9p4-coq-core-8.14.0.drv
Tags
Submitted at
2021-12-16 02:55:18
State
Succeeded
Agent
bc5f3585-03f9-4ab3-8604-6acc89512fba
Priority
0
View build log