Build
Derivation
/gnu/store/1x1x96f5hl2cv8pi81n7rqav34bad0gs-
coq-mathcomp-1.17.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-03-25T21:05:24
Scheduled
2024-03-25T23:25:56
Started
2024-03-25T23:35:35
Succeeded