Build
Derivation
/gnu/store/r7a6l3zd6id39n6vxdrphvh4df2ky6mp-
coq-interval-4.3.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-09-08T14:43:14
Scheduled
2021-09-08T19:51:52
Started
2021-09-08T20:02:29
Succeeded