Build

Derivation: /gnu/store/xi0sm14f2fjba5ws2p88c21dw2s3dr2g-coq-flocq-3.3.1.drv
Build server URL: https://bordeaux.guix.gnu.org/

View build on https://bordeaux.guix.gnu.org/

Timeline

Timestamp	Status
2021-09-08T14:51:23	Scheduled
2021-09-09T01:20:57	Started
2021-09-09T01:27:31	Succeeded