Package: release.debian.org Severity: normal X-Debbugs-Cc: openmpi@packages.debian.org Control: affects -1 + src:openmpi User: release.debian.org@packages.debian.org Usertags: binnmu nmu openmpi_4.1.6-7 . armel armhf . unstable . -m "Rebuild without the nojava profile"