extra-addpath.patch
hardcode-dynareroot.patch
sphinx8.patch
