Build

Derivation: /gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-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-17T12:17:51	Scheduled
2024-03-18T05:54:39	Started
2024-03-18T04:33:15	Succeeded