Build
Derivation
/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-
coq-8.17.1.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-03-08T05:59:04
Scheduled
2024-03-12T04:02:05
Canceled