Build
Derivation
/gnu/store/ff8ccdnqlhfvsbz3gnllpiwlri3l6g55-
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-06-18T01:12:01
Scheduled
2022-06-22T00:29:17
Started
2022-06-22T00:35:37
Succeeded