../ armci-mpi_0.0~git20160222-1.debian.tar.xz 28-Feb-2016 23:32 2644 armci-mpi_0.0~git20160222-1.dsc 28-Feb-2016 23:32 1945 armci-mpi_0.0~git20160222.orig.tar.gz 28-Feb-2016 23:32 450746 libarmci-mpi-dev_0.0~git20160222-1_amd64.deb 28-Feb-2016 23:32 47420 libarmci-mpi-dev_0.0~git20160222-1_armel.deb 29-Feb-2016 15:29 41754