NameLast modifiedSize
(File)
regina-normal-dev_5.1-6ubuntu1_amd64.deb
January 13, 2020 8:48 PM
488K
(File)
regina-normal-dev_7.0-2build1_amd64.deb
January 14, 2022 7:54 PM
669K
(File)
regina-normal-doc_5.1-6ubuntu1_all.deb
January 13, 2020 8:48 PM
14M
(File)
regina-normal-doc_7.0-2build1_all.deb
January 14, 2022 7:54 PM
71M
(File)
regina-normal-mpi_5.1-6ubuntu1_amd64.deb
January 13, 2020 8:48 PM
69K
(File)
regina-normal_5.1-6ubuntu1_amd64.deb
January 13, 2020 8:48 PM
13M
(File)
regina-normal_7.0-2build1_amd64.deb
January 14, 2022 7:54 PM
14M