Index of /pub/macports/distfiles/gringo

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