armci-mpi (0.3.1~beta-1) unstable; urgency=medium * New upstream prerelease. * debian/watch: Updated for regular Github tags/releases. -- Michael Banck <email address hidden> Sat, 07 Mar 2020 20:49:39 +0100