Build details

Build ID3328323
Evaluation17532
Status Scheduled
Systemi686-linux
Nameproof-general-4.4
Duration-1602900959 seconds
Finished
Log file
Derivation
/gnu/store/xz23bh8j7c8vah2z92qki1azs6pwcr1l-proof-general-4.4.drv
Outputs
/gnu/store/04ky1syl21w0qx907b44nm29wbsgq0q6-proof-general-4.4