2001_rustc-hash.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
