Build 57bb959f-4060-446e-ba43-ccbd94318dfb — bordeaux.guix.gnu.org
Derivation
/gnu/store/k1lk212rm2wl2pl9kkx51k9zybvvfagv-coq-flocq-3.4.2-checkout.drv
Tags
Submitted at
2021-11-21 20:35:08
State
Succeeded
Agent
b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb
Priority
0
View build log