![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[deb]](/theme/icons/deb.svg){kind=icon} | regina-normal-mpi_5.1-2build1_amd64.deb | 2017-10-27 00:30 | 65K |
| regina-normal-mpi_5.1-2build2_amd64.deb | 2021-01-13 20:13 | 65K |
| regina-normal-mpi_5.1-6ubuntu1_amd64.deb | 2020-01-13 13:48 | 69K |
| regina-normal-dev_5.1-6ubuntu1_amd64.deb | 2020-01-13 13:48 | 488K |
| regina-normal-dev_5.1-2build1_amd64.deb | 2017-10-27 00:30 | 488K |
| regina-normal-dev_5.1-2build2_amd64.deb | 2021-01-13 20:13 | 488K |
| regina-normal_5.1-2build2_amd64.deb | 2021-01-13 20:13 | 13M |
| regina-normal_5.1-2build1_amd64.deb | 2017-10-27 00:30 | 13M |
| regina-normal_5.1-6ubuntu1_amd64.deb | 2020-01-13 13:48 | 13M |
| regina-normal-doc_5.1-2build1_all.deb | 2017-10-27 00:30 | 14M |
| regina-normal-doc_5.1-2build2_all.deb | 2021-01-13 20:13 | 14M |
| regina-normal-doc_5.1-6ubuntu1_all.deb | 2020-01-13 13:48 | 14M |