Build

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

Timeline

TimestampStatus
2022-01-09T12:57:20Scheduled
2022-01-10T09:36:37Started
2022-01-10T16:04:44Started
2022-01-10T16:08:35Succeeded