Hi, the ben file for the openmpi transition lists too few affected packages:
Affected: .build-depends ~ /libopenmpi/ does not catch packages that Build-Depends: mpi-default-dev, but there could be even more ways to get an indirect B-D: libopenmpi-dev. Sylvestre originally suggested is_affected = .depends ~ "libopenmpi1.3" | .depends ~ "libopenmpi1.6"; Andreas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org