Build details

Build ID3574212
Evaluation18786
Status Started
Systemx86_64-linux
Namecoq-8.11.2
Duration-1605927462 seconds
Finished
Log file
Derivation
/gnu/store/9q2qy7v0vn6cja8vczg5j60xkjw914pn-coq-8.11.2.drv
Outputs
/gnu/store/p6kfjjqrzni69jj0fs0dvkbhmblknnn1-coq-8.11.2-ide
/gnu/store/437lzfby5vlr9ly2lzk4ymd50ld7abwc-coq-8.11.2