Build

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

Timeline

TimestampStatus
2022-01-19T19:11:22Scheduled

Required failed builds

DerivationStatus
/gnu/store/9490rdk7592vl0l7y1rc08a3j093lf5z-rust-1.39.0.drvFailed
/gnu/store/9490rdk7592vl0l7y1rc08a3j093lf5z-rust-1.39.0.drvFailed
/gnu/store/9490rdk7592vl0l7y1rc08a3j093lf5z-rust-1.39.0.drvFailed