../ regina-normal-dev_4.93-1ubuntu1_i386.deb 27-Dec-2014 01:07 474310 regina-normal-doc_4.93-1ubuntu1_all.deb 27-Dec-2014 01:07 11706894 regina-normal-mpi_4.93-1ubuntu1_i386.deb 27-Dec-2014 01:07 59460 regina-normal_4.93-1ubuntu1.diff.gz 07-Jan-2015 15:08 13911 regina-normal_4.93-1ubuntu1.dsc 27-Dec-2014 01:07 1955 regina-normal_4.93-1ubuntu1_i386.deb 27-Dec-2014 01:07 5776228 regina-normal_4.93.orig.tar.gz 27-Dec-2014 01:07 14425211