extra-addpatch.patch
hardcode-dynareroot.patch
use-debian-mathjax.patch
sphinx3.patch
