Build details

Build ID3328327
Evaluation17532
Status Failed
Systemi686-linux
Namecoq-autosubst-1-coq86-devel.fa6ef30
Duration121331 seconds
Finished18 Oct 13:57 +0200
Log fileraw
Derivation
/gnu/store/vi73pl4gh5hnmhjmkgcrhnv3f4nl5cns-coq-autosubst-1-coq86-devel.fa6ef30.drv
Outputs
/gnu/store/2sx0shhsc3wgrhj88gx3hfbzn48yarzr-coq-autosubst-1-coq86-devel.fa6ef30