Build
Derivation
/gnu/store/zwvk7lcygwz9zza7a7ajd4sj20dcn0zd-
coq-ide-server-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-03T04:54:15
Scheduled
2022-07-03T05:00:47
Started
2022-07-03T03:43:52
Succeeded