Build

Derivation
/gnu/store/0346dv182vcbxph0gmh5q5mimq1qpv4p-coq-stdlib-8.14.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2021-12-15T19:15:51Scheduled
2021-12-22T14:45:47Started
2021-12-22T16:28:16Started
2021-12-22T16:31:58Succeeded