| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| dealii-9.1.1.tar.gz | 19.0 MiB | 2019-Jun-22 08:28 | |
| dealii-9.2.0.tar.gz | 23.5 MiB | 2020-May-27 12:14 | |
| dealii-9.3.1.tar.gz | 23.3 MiB | 2021-Oct-13 07:58 | |
| dealii-9.4.0.tar.gz | 28.9 MiB | 2023-Jan-08 03:22 | |
| dealii-9.4.1.tar.gz | 28.9 MiB | 2023-Jan-13 04:16 | |
| dealii-9.4.2.tar.gz | 28.9 MiB | 2023-May-28 00:51 | |