Build ddd44069-be74-4618-9a83-a5b1ae33bd8d — bordeaux.guix.gnu.org
Derivation
/gnu/store/wphvh60jvar4ag888dd9kpq3xymn6ima-coq-stdlib-8.14.1.drv
Tags
Submitted at
2021-12-22 13:09:29
State
Succeeded
Agent
c8a787dd-1e6c-4a31-a2ba-cbab7917fafd
Priority
0
View build log