../ regina-normal-dev_4.6-1ubuntu1_i386.deb 07-Jun-2017 01:52 2760982 regina-normal-doc_4.6-1ubuntu1_all.deb 07-Jun-2017 01:52 1439786 regina-normal-mpi_4.6-1ubuntu1_i386.deb 07-Jun-2017 01:52 250098 regina-normal_4.6-1ubuntu1_i386.deb 07-Jun-2017 01:52 6492926