../ fonts-ricty-diminished_4.1.1-1.debian.tar.xz 20-Dec-2017 17:14 3924 fonts-ricty-diminished_4.1.1-1.dsc 20-Dec-2017 17:14 2117 fonts-ricty-diminished_4.1.1-1_all.deb 20-Dec-2017 17:14 3004280 fonts-ricty-diminished_4.1.1.orig.tar.gz 20-Dec-2017 17:14 8513165