Build

Derivation: /gnu/store/8h5ln3jpx6zbl2fh3k5673ydda2cz6lx-coq-coquelicot-3.2.0.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2022-03-02T03:44:38	Scheduled
2022-03-02T05:26:46	Started
2022-03-02T05:26:49	Failed