deb package of Ricty Diminished for Debian/Ubuntu