| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| dealii-9.4.2.tar.gz | 30299805 | 2023-May-28 01:51 | |
| dealii-9.4.0.tar.gz | 30299000 | 2023-Jan-08 04:22 | |
| dealii-9.4.1.tar.gz | 30297010 | 2023-Jan-13 05:16 | |
| dealii-9.2.0.tar.gz | 24689336 | 2020-May-27 13:14 | |
| dealii-9.3.1.tar.gz | 24460495 | 2021-Oct-13 08:58 | |
| dealii-9.1.1.tar.gz | 19912517 | 2019-Jun-22 09:28 | |