DEBSOURCES
Skip Quicknav
sources / mpich / 3.2-7 / debian / libmpich-dev.prerm
1234567891011
#!/bin/sh set -e if [ "$1" != "upgrade" ]; then update-alternatives --remove mpi /usr/include/mpich fi #DEBHELPER# exit 0