![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
| mgltools-dejavu_1.5.7.orig.tar.xz | 2016-07-09 13:49 | 1.4M |
| mgltools-dejavu_1.5.7-2.debian.tar.xz | 2017-12-31 06:56 | 5.1K |
![[text]](/theme/icons/text-plain.svg){kind=icon} | mgltools-dejavu_1.5.7-2.dsc | 2017-12-31 06:56 | 2.1K |
| mgltools-dejavu_1.5.7-2_all.deb | 2017-12-31 06:56 | 442K |