Build 588adb7f-8629-43aa-a3f1-b1474f777dfe — bordeaux.guix.gnu.org

Derivation
/gnu/store/6dx7jab9zn7s10sr0fdf6hsnh5w27x08-coq-coquelicot-3.4.0.drv
Tags
Submitted at
2024-04-03 17:31:56
State
Failed
Priority
350
View build log