Build d8b905b9-3db8-470c-989a-c807fc5e9576 — bordeaux.guix.gnu.org
Derivation
/gnu/store/lgwv3ri55163i4d9rvvfypfr92jbayw9-coq-stdlib-8.14.0.drv
Tags
Submitted at
2021-12-15 19:29:22
State
Succeeded
Priority
0
View build log