Build details

Build ID1930189
Status Succeeded
Systemx86_64-linux
Namep4est-openmpi-2.0
Duration239 seconds
Finished24 Nov 22:48 +0100
Log fileraw
Derivation
/gnu/store/5g4yy7253iizx9d5av85i65didn5vxzw-p4est-openmpi-2.0.drv
Outputs
/gnu/store/mzs5d0rx4q47674vgxmkmh6ad4w6n1w0-p4est-openmpi-2.0