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