Source: openmpi Version: 5.0.9-1 Followup-For: Bug #1120617 X-Debbugs-Cc: debian-hurd@lists.debian.org User: debian-hurd@lists.debian.org Usertags: hurd-amd64 Control: tags -1 ftbfs Control: fixed -1 5.0.9-2 openmpi 5.0.9-2 claimed to close Bug#1120217, but I think this hurd bug #1120617 was intended.