Build
Derivation
/gnu/store/ab6rkb06gg8hw1s2bxjm9dl6xpz1bfpf-
coq-ide-8.15.2.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-07-15T21:39:21
Scheduled
2022-07-15T22:57:38
Started
2022-07-15T21:40:16
Succeeded