debian/TODO.Debian
debian/README.Debian
debian/NEWS.Debian
debian/reinstall_debs.sh
