../ regina-normal-dev_4.93-1_amd64.deb 29-May-2012 04:32 529100 regina-normal-doc_4.93-1_all.deb 29-May-2012 04:32 11661888 regina-normal-mpi_4.93-1_amd64.deb 29-May-2012 04:32 114878 regina-normal_4.93-1_amd64.deb 29-May-2012 04:32 5903524