Index of /macports/distfiles/gringo

	Name	Last modified	Size
	Parent Directory		-
	gringo-4.2.1-source.tar.gz	2014-01-15 15:04	601K
	gringo-4.4.0-source.tar.gz	2015-02-05 16:09	1.4M
	gringo-4.5.4-source.tar.gz	2015-12-27 17:56	1.6M