rpath.patch
devendor-nauty.patch
devendor-cppad.patch
use-debian-mathjax.patch
tests-external-scip-binary.patch
fix-boost-float128-include-order.patch
