Index of /ubuntu/pool/universe/g/gringo

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_4.2.1-4_amd64.deb	2014-01-13 13:54	905K
	gringo_4.2.1-4_i386.deb	2014-01-13 13:54	894K
	gringo_4.5.4-1_amd64.deb	2015-12-21 00:25	1.7M
	gringo_4.5.4-1_i386.deb	2015-12-21 00:25	1.8M