debian/0001-use-system-python.patch debian/0002-use-system-exim4.patch debian/0003-use-python3.patch debian/0004-use-sh.patch debian/0005-use-bash.patch debian/0006-remove-infographic.patch debian/0007-remove-contrib-files.patch debian/0008-remove-update-button.patch debian/0009-remove-social-media-buttons.patch debian/0010-remove-googleanalytics.patch debian/0011-remove-signin.patch debian/0012-remove-googlefonts.patch debian/0013-remove-googletagmanager.patch upstream/0001-allow-symlinks.patch upstream/0002-fix-FTCBFS.patch progress-linux/0001-send-email.patch