add-missing-include.patch
use-debian-packages.patch
skip-broken-spartan6-test.patch
