../ fonts-deva-extra_3.0-3.debian.tar.xz 12-Nov-2014 18:47 2676 fonts-deva-extra_3.0-3.dsc 12-Nov-2014 18:47 1979 fonts-deva-extra_3.0-3_all.deb 12-Nov-2014 18:47 572830 fonts-deva-extra_3.0.orig.tar.xz 08-Jun-2013 20:58 573388