Build
Derivation
/gnu/store/d5xs2yq3zvggc4vkgq4zmmd4x23v3fvr-
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-04-03T06:27:27
Scheduled
2024-04-03T17:16:25
Started
2024-04-03T15:59:54
Succeeded