Build
Derivation
/gnu/store/cha7a8y9sg7zc2l57znv2jaahkxcfci9-
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:59:26
Scheduled
2024-04-26T08:05:33
Started
2024-04-26T08:10:48
Succeeded