#01_nomenu.patch
01_ubuntu_keyserver.patch
02_copy_gpg_conf_skeleton.patch
03_dont_crash_on_exit.patch
10_gpgme_crash.patch
