../ fonts-ricty-diminished_4.0.1-1.debian.tar.xz 01-Feb-2016 12:37 3824 fonts-ricty-diminished_4.0.1-1.dsc 01-Feb-2016 12:37 2078 fonts-ricty-diminished_4.0.1-1_all.deb 01-Feb-2016 12:37 2981888 fonts-ricty-diminished_4.0.1.orig.tar.gz 01-Feb-2016 12:37 8376920