extra-addpath.patch
hardcode-dynareroot.patch
use-debian-mathjax.patch
use-packaged-jsonlab.patch
