Build 3e35cd1f-c5e1-416a-872a-61b7422e1f88 — bordeaux.guix.gnu.org
Derivation
/gnu/store/6big4dqg98vsy0ay71d18v5d91wrw5dl-coq-stdlib-8.15.2.drv
Tags
Submitted at
2022-08-14 19:10:42
State
Succeeded
Priority
0
View build log