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