DEBSOURCES
Skip Quicknav
sources / openmpi / 1.2.7~rc2-2 / debian / libopenmpi-dev.prerm
1234567891011
#!/bin/sh set -e if [ "$1" != "upgrade" ]; then update-alternatives --remove mpi /usr/lib/openmpi/include fi #DEBHELPER# exit 0