../ fonts-deva-extra_3.0-4.debian.tar.xz 23-Jun-2017 05:19 2780 fonts-deva-extra_3.0-4.dsc 23-Jun-2017 05:19 1996 fonts-deva-extra_3.0-4_all.deb 23-Jun-2017 05:19 573908 fonts-deva-extra_3.0.orig.tar.xz 08-Jun-2013 12:58 573388