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-02T05:27:12	Scheduled
2022-03-02T05:37:27	Started
2022-03-02T05:37:29	Failed