Index of /macports/distfiles/gringo

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