Debian package files for kittens