Build details

Build ID3328330
Evaluation17532
Status Failed
Systemi686-linux
Namecoq-flocq-3.3.1
Duration121373 seconds
Finished18 Oct 13:57 +0200
Log fileraw
Derivation
/gnu/store/xajnq4c9d7hhq6fn77jm94wfdmadxj2c-coq-flocq-3.3.1.drv
Outputs
/gnu/store/9i24y9dzns1s01mll21nipgw5m7dxnnz-coq-flocq-3.3.1