Build details

Build ID3325482
Evaluation17511
Status Started
Systemx86_64-linux
Namedune-localfunctions-openmpi-2.7.0
Duration-173449 seconds
Finished
Log file
Derivation
/gnu/store/dxfzh6r802cib6kpmfwzypbnn798wdyd-dune-localfunctions-openmpi-2.7.0.drv
Outputs
/gnu/store/4gw2p5g38gg9ca7sgpd208n68mfc9r44-dune-localfunctions-openmpi-2.7.0