Build
Derivation
/gnu/store/mnr93bh9xddd5gvy2b6dyh96sgsc3dng-
coq-8.13.2-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-08-11T17:14:57
Scheduled
2021-08-14T04:51:01
Started
2021-08-14T04:51:08
Succeeded