Source: armci-mpi Followup-For: Bug #1068319 armci-mpi is already building for mpich so the transition should be manageable. Will just need to make sure it switches off the openmpi build cleanly.
- Bug#1068319: armci-mpi: debian-...@lists.debian.org Alastair McKinstry
- Bug#1068319: armci-mpi: debian-...@lists.debian.or... Drew Parsons