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.
-- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers