Name Last modified Size
![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
fonts-deva_1.2.dsc 2013-06-02 16:54 1.6K
![[ ]](/icons/compressed.gif){kind=icon}
fonts-deva_1.2.tar.gz 2013-06-02 16:54 2.3K
![[ ]](/icons/unknown.gif){kind=icon}
fonts-deva_1.2_all.deb 2013-06-02 16:54 2.8K
fonts-deva_1.3.dsc 2020-04-14 14:45 1.6K
fonts-deva_1.3.tar.xz 2020-04-14 14:45 2.5K
fonts-deva_1.3_all.deb 2020-04-14 14:55 3.1K
fonts-deva_1.4.dsc 2022-09-19 16:38 1.6K
fonts-deva_1.4.tar.xz 2022-09-19 16:38 2.6K
fonts-deva_1.4_all.deb 2022-09-19 23:25 3.1K