Build

Derivation
/gnu/store/sg33f9mvpdzbas12hjg1iyal6d2s6px0-coq-interval-4.4.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2022-06-19T13:27:11Scheduled
2022-06-20T00:02:47Started
2022-06-20T00:06:54Succeeded