/debian/patches/

• ../
• 50-per-version-dirs.patch
• 51-default-sockets-in-var.patch
• 52-tutorial-README.patch
• 53-pg_service.conf_directory_doc.patch
• 54-debian-alternatives-for-external-tools.patch
• 70-history
• extension_destdir
• filter-debug-prefix-map
• initdb-startup-message
• libpgport-pkglibdir
• risc-spinlock
• series