../ fonts-deva-extra_3.0-6.debian.tar.xz 12-Dec-2022 21:08 3068 fonts-deva-extra_3.0-6.dsc 12-Dec-2022 21:08 1933 fonts-deva-extra_3.0-6_all.deb 12-Dec-2022 22:55 576544 fonts-deva-extra_3.0.orig.tar.xz 08-Jun-2013 19:58 573388