/debian/patches/progress-linux/

• ../
• 0001-gpgsm-default-to-4096-bit-keys.patch
• 0002-gpg-default-to-4096-bit-keys.patch
• 0003-gpg-default-key-to-ed25519.patch