Package: openmpi1.6 Version: 1.6.4-2 Severity: important Tags: patch User: debian-arm at lists.debian.org Usertags: arm64 patch at https://patches.ubuntu.com/o/openmpi1.6/openmpi1.6_1.6.4-2ubuntu2.patch