rpath.patch
devendor-nauty.patch
devendor-cppad.patch
use-debian-mathjax.patch
tests-external-scip-binary.patch
