Build details

Build ID3328328
Evaluation17532
Status Scheduled
Systemi686-linux
Namecoq-bignums-8.11.0
Duration-528 seconds
Finished
Log file
Derivation
/gnu/store/91b19l4cx7wlqqaqha6pa4qaw8kr6bwc-coq-bignums-8.11.0.drv
Outputs
/gnu/store/3658h20jrl586gga3kwhn18crbm6r0cv-coq-bignums-8.11.0