../ libmrmpi-dev_1.0~20140404-1_amd64.deb 10-Mar-2016 13:37 9656 libmrmpi-dev_1.0~20140404-1_i386.deb 10-Mar-2016 13:34 9600 libmrmpi1_1.0~20140404-1_amd64.deb 10-Mar-2016 13:40 58K libmrmpi1_1.0~20140404-1_i386.deb 10-Mar-2016 13:33 60K mrmpi-doc_1.0~20140404-1_all.deb 10-Mar-2016 13:03 462K mrmpi_1.0~20140404-1.debian.tar.xz 10-Mar-2016 13:09 6196 mrmpi_1.0~20140404-1.dsc 10-Mar-2016 13:09 2175 mrmpi_1.0~20140404.orig.tar.gz 10-Mar-2016 13:09 232K