Build details
| Build ID | 187494 |
|---|---|
| Evaluation | 20644 |
| Status | Succeeded |
| System | aarch64-linux |
| Name | dune-typetree-openmpi-2.7.0 |
| Duration | 19212 seconds |
| Finished | 17 hours ago |
| Log file | raw |
| Derivation | /gnu/store/znpjfp30gwkhyfailzf6hjbjd46jrxr1-dune-typetree-openmpi-2.7.0.drv |
| Outputs | /gnu/store/wdr1hgvdq1pyraz8v9nvrgrnvdk643rk-dune-typetree-openmpi-2.7.0 |