Build
Derivation
/gnu/store/2q068jakqfpr2y2gssrlpq6vbvj9800y-
coq-coquelicot-3.2.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-03-13T20:22:23
Scheduled
2022-03-13T21:19:09
Started
2022-03-13T21:19:23
Failed