Build
Derivation
/gnu/store/dr48g8ds51807i2hc2f92hrzcr9l4y40-
coq-interval-4.8.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-04-26T07:58:23
Scheduled
2024-04-30T06:58:33
Started
2024-04-30T05:33:13
Succeeded