Build details

Build ID3574814
Evaluation18786
Status Started
Systemi686-linux
Namecoq-8.11.2
Duration-1605923345 seconds
Finished
Log file
Derivation
/gnu/store/z5ybpym15m064hycmrfmhknmyhmjj8bd-coq-8.11.2.drv
Outputs
/gnu/store/q31y1yjc7pr0j9dsckn3nv232z0v7781-coq-8.11.2-ide
/gnu/store/489qmky8nm1610dd9f395fg7vbsycxaj-coq-8.11.2