extra-addpatch.patch
hardcode-dynareroot.patch
missing-clean.patch
elisp-fixes.patch
use-debian-mathjax.patch
