/debian/legacy/

• ../
• update-grub
• update-grub.ubuntu.patch
• upgrade-from-grub-legacy