Build details
| Build ID | 187458 |
|---|---|
| Evaluation | 20644 |
| Status | Succeeded |
| System | aarch64-linux |
| Name | dune-common-openmpi-2.7.0 |
| Duration | 15489 seconds |
| Finished | 18 hours ago |
| Log file | raw |
| Derivation | /gnu/store/crg8r4aa2s31xixg2vg5r3kkv7zsmi41-dune-common-openmpi-2.7.0.drv |
| Outputs | /gnu/store/6gp4lzb1wx7sfyjfi0ir2fnqdnz175km-dune-common-openmpi-2.7.0 |