Build
Derivation
/gnu/store/gm4wim7ih4znfgrgv7aw6n6hsnfdnh5k-
coq-coquelicot-3.4.1.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-06-12T13:55:13
Scheduled
2024-06-12T14:05:22
Started
2024-06-12T14:07:10
Succeeded