Package: grub-invaders Version: 1.0.0-3 Severity: normal Tags: patch The patch attached copies the behaviour of /etc/grub.d/10_linux and /etc/grub.d/10_hurd in grub-pc 1.95+20070515-1.
You will probably have to update the debian/control to Recommends: grub2 (>= 1.95+20070515-1) | grub
20_invaders
Description: application/shellscript
