Build b121900a-5da8-43b1-bf89-ad41593d95af — bordeaux.guix.gnu.org
Derivation
/gnu/store/xj0inm1x2xylw0yylbn2kcnf7068185m-coq-core-8.14.1.drv
Tags
Submitted at
2021-12-22 13:05:53
State
Succeeded
Priority
0
View build log