Index of /debian/pool/non-free/m/mgltools-dejavu

Icon  Name                                  Last modified      Size  
[PARENTDIR] Parent Directory - [   ] mgltools-dejavu_1.5.7-3.dsc 2019-01-08 17:09 2.1K [   ] mgltools-dejavu_1.5.7-3.debian.tar.xz 2019-01-08 17:09 5.2K [   ] mgltools-dejavu_1.5.7-3_all.deb 2019-01-08 22:18 442K [   ] mgltools-dejavu_1.5.7.orig.tar.xz 2016-07-09 02:22 1.4M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80