Build

Derivation: /gnu/store/y4wa23b94z1bm8rcglpi011pny0zwqi1-coq-mathcomp-1.17.0.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2024-03-13T22:34:22	Scheduled
2024-03-17T00:36:41	Canceled