../ fonts-ricty-diminished_4.1.1-1.debian.tar.xz 20-Dec-2017 11:53 3924 fonts-ricty-diminished_4.1.1-1.dsc 20-Dec-2017 11:53 2117 fonts-ricty-diminished_4.1.1-1_all.deb 20-Dec-2017 11:53 3004240 fonts-ricty-diminished_4.1.1.orig.tar.gz 20-Dec-2017 11:53 8513165