Build
Derivation
/gnu/store/scqi3fzaqs9fwl8gvi2pzmiqb8lfm42v-
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:54:40
Scheduled
2024-04-26T10:28:10
Started
2024-04-26T10:35:13
Succeeded