Build 97df074c-882c-46c8-896d-2906caecbf15 — bordeaux.guix.gnu.org
Derivation
/gnu/store/ppbb41jjmznar84h12322wwf2y6hh4xs-coq-8.13.2-checkout.drv
Tags
Submitted at
2021-08-01 04:31:28
State
Succeeded
Priority
0
View build log