Build
Derivation
/gnu/store/yrcrl946hx2rbiwvx9cdxmd2k5xd13f5-
coq-interval-4.4.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-05-02T08:51:47
Scheduled
2022-05-02T08:57:13
Started
2022-05-02T09:02:00
Succeeded