../ 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.diff.gz 29-May-2012 04:32 11523 regina-normal_4.93-1.dsc 29-May-2012 04:32 1534 regina-normal_4.93-1_amd64.deb 29-May-2012 04:32 5903524 regina-normal_4.93.orig.tar.gz 29-May-2012 04:32 14425211