[ICO]NameLast modifiedSize
[parent]Parent Directory  -
[   ]regina-normal-dev_5.1-6ubuntu1_amd64.deb2020-01-13 20:48 488K
[   ]regina-normal-dev_7.0-2build1_amd64.deb2022-01-14 19:54 669K
[   ]regina-normal-doc_5.1-6ubuntu1_all.deb2020-01-13 20:48 14M
[   ]regina-normal-doc_7.0-2build1_all.deb2022-01-14 19:54 71M
[   ]regina-normal-mpi_5.1-6ubuntu1_amd64.deb2020-01-13 20:48 69K
[   ]regina-normal_5.1-6ubuntu1_amd64.deb2020-01-13 20:48 13M
[   ]regina-normal_7.0-2build1_amd64.deb2022-01-14 19:54 14M