Debian package files for Tigger