Build details

Build ID3328321
Evaluation17532
Status Scheduled
Systemi686-linux
Namecoq-mathcomp-1.11.0
Duration-504 seconds
Finished
Log file
Derivation
/gnu/store/cg7ld827skl4z646bjjlk77dr91c0xza-coq-mathcomp-1.11.0.drv
Outputs
/gnu/store/m4zizysx3anks4fqz6z1xk2b72f7c9qc-coq-mathcomp-1.11.0