	Name	Last modified	Size	Description

	Parent Directory		-
	mgltools-dejavu_1.5.7-2.dsc	2017-12-31 06:56	2.1K
	mgltools-dejavu_1.5.7~rc1+cvs.20140424-1.dsc	2014-04-29 13:40	2.3K
	mgltools-dejavu_1.5.7~rc1~cvs.20130519-1.dsc	2013-06-01 19:33	1.7K
	mgltools-dejavu_1.5.7-2_all.deb	2017-12-31 06:56	442K	Debian Software Package
	mgltools-dejavu_1.5.7~rc1+cvs.20140424-1_all.deb	2014-04-29 15:59	436K	Debian Software Package
	mgltools-dejavu_1.5.7~rc1~cvs.20130519-1_all.deb	2013-06-01 19:33	601K	Debian Software Package
	mgltools-dejavu_1.5.7~rc1+cvs.20140424.orig.tar.gz	2014-04-29 13:40	1.6M	GZIP compressed TAR archive
	mgltools-dejavu_1.5.7~rc1~cvs.20130519-1.debian.tar.gz	2013-06-01 19:33	6.8K	GZIP compressed TAR archive
	mgltools-dejavu_1.5.7~rc1~cvs.20130519.orig.tar.gz	2013-06-01 19:33	1.6M	GZIP compressed TAR archive
	mgltools-dejavu_1.5.7-2.debian.tar.xz	2017-12-31 06:56	5.1K	TAR compressed archive
	mgltools-dejavu_1.5.7.orig.tar.xz	2016-07-09 13:49	1.4M	TAR compressed archive
	mgltools-dejavu_1.5.7~rc1+cvs.20140424-1.debian.tar.xz	2014-04-29 13:40	6.5K	TAR compressed archive