Build

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

Timestamp	Status
2024-03-15T23:53:12	Scheduled
2024-03-16T22:09:14	Canceled