Build

Derivation: /gnu/store/11nppnfvdhxmwbzzmmnaqqgxwpks8d53-coq-8.17.1.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2024-03-08T05:59:11	Scheduled
2024-03-08T18:22:18	Started
2024-03-08T19:07:31	Started
2024-03-08T19:12:54	Succeeded