armci-mpi (0.0~git20180917-2) unstable; urgency=medium * Team upload. * debian/control: mark libarmci-mpi-dev as Multi-Arch: same -- Drew Parsons <email address hidden> Mon, 31 Dec 2018 13:10:35 +0100