/debian/patches/

• ../
• console_switch3.patch
• exec.patch
• mouse.patch
• no-debian-dir.patch
• ttys.patch