Package: openmpi1.6 Version: 1.6.4-2 Severity: important Tags: patch User: debian-...@lists.debian.org Usertags: arm64
patch at https://patches.ubuntu.com/o/openmpi1.6/openmpi1.6_1.6.4-2ubuntu2.patch -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
