../ fonts-deva-extra_3.0-6.debian.tar.xz 12-Dec-2022 14:08 3068 fonts-deva-extra_3.0-6.dsc 12-Dec-2022 14:08 1933 fonts-deva-extra_3.0-6_all.deb 12-Dec-2022 15:55 563K fonts-deva-extra_3.0.orig.tar.xz 08-Jun-2013 12:58 560K