Build details

Build ID3328107
Evaluation17532
Status Scheduled
Systemx86_64-linux
Namecoq-bignums-8.11.0
Duration-1602900902 seconds
Finished
Log file
Derivation
/gnu/store/xpnjvvhljdcy5q44y29p5gkdab1n3l7f-coq-bignums-8.11.0.drv
Outputs
/gnu/store/nq5fms9bp937njd9lnv0s3rgqqwfww47-coq-bignums-8.11.0