Build 1beb989e-2c71-4928-9fd1-aa5490b5152e — bordeaux.guix.gnu.org
Derivation
/gnu/store/r1lbhpr6qgdzzhpcvnvgdgjb1b1px1bn-coq-8.14.1.drv
Tags
Submitted at
2021-12-22 13:05:53
State
Succeeded
Priority
0
View build log