| Parent directory/ | - | - |
| regina-normal-dev_5.1-6ubuntu1_amd64.deb | 487.8 KiB | 2020-Jan-13 16:48 |
| regina-normal-dev_7.0-2build1_amd64.deb | 668.9 KiB | 2022-Jan-14 15:54 |
| regina-normal-dev_7.3.1-3_amd64.deb | 703.1 KiB | 2025-Jul-23 22:21 |
| regina-normal-doc_5.1-6ubuntu1_all.deb | 14.2 MiB | 2020-Jan-13 16:48 |
| regina-normal-doc_7.0-2build1_all.deb | 70.7 MiB | 2022-Jan-14 15:54 |
| regina-normal-doc_7.3.1-3_all.deb | 71.6 MiB | 2025-Jul-23 22:21 |
| regina-normal-mpi_5.1-6ubuntu1_amd64.deb | 69.2 KiB | 2020-Jan-13 16:48 |
| regina-normal_5.1-6ubuntu1_amd64.deb | 13.4 MiB | 2020-Jan-13 16:48 |
| regina-normal_7.0-2build1_amd64.deb | 14.3 MiB | 2022-Jan-14 15:54 |
| regina-normal_7.3.1-3_amd64.deb | 16.7 MiB | 2025-Jul-23 22:21 |