2001_quick-xml.patch
2002_use_shared_rocksdb.patch
2003_avoid_testsuite.patch
2004_avoid_js.patch
2005_avoid_python.patch
2006_deb-built-using.patch
2007_avoid_benches.patch
2008_webpki-roots.patch
2009_yasgui.patch
2010_avoid_spargeo.patch
