regina-normal-dev_5.1-6ubuntu1_amd64.deb
regina-normal-dev_7.4.1-1.1build1_amd64.deb
regina-normal-doc_5.1-6ubuntu1_all.deb
regina-normal-doc_7.4.1-1.1build1_all.deb
regina-normal-mpi_5.1-6ubuntu1_amd64.deb
regina-normal_5.1-6ubuntu1_amd64.deb
regina-normal_7.4.1-1.1build1_amd64.deb