Build

Derivation: /gnu/store/alzrk7w6ildx4y19n84m6i17bblbry27-coq-8.13.2.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2021-08-01T04:31:28	Scheduled
2021-08-08T08:23:59	Started
2021-08-08T11:30:02	Started
2021-08-08T13:17:05	Started
2021-08-08T13:46:48	Succeeded