Build details

Build ID3064960
Evaluation15473
Status Scheduled
Systemi686-linux
Namecl-prove-1.0.0-1.4f9122b
Duration-1596287248 seconds
Finished
Log file
Derivation
/gnu/store/lnjbqkjbdyz96y2nhh8v66lzk4ghlycz-cl-prove-1.0.0-1.4f9122b.drv
Outputs
/gnu/store/4k9drivrwyw3b10z6qfr91dd052qbv43-cl-prove-1.0.0-1.4f9122b