![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified |
|---|---|---|
![[ ]](/icons/unknown.gif){kind=icon} | Parent Directory | |
![[TXT]](/icons/text.gif){kind=icon} | fonts-deva_1.3.dsc | 2020-04-14 14:45 |
| fonts-deva_1.3.tar.xz | 2020-04-14 14:45 |
| fonts-deva_1.3_all.deb | 2020-04-14 14:55 |
| fonts-deva_1.4.dsc | 2022-09-19 16:38 |
| fonts-deva_1.4.tar.xz | 2022-09-19 16:38 |
| fonts-deva_1.4_all.deb | 2022-09-19 23:25 |
