debian/0001-google-analytics.patch
debian/0002-html-output.patch
debian/0003-python-shebang.patch
debian/0004-quiet-stdout.patch
