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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
