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

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_3.0.3.orig.tar.gz	2011-05-04 09:09	525K
	gringo_3.0.3-7.debian.tar.gz	2012-01-07 20:34	7.1K
	gringo_3.0.3-7.dsc	2012-01-07 20:34	2.0K
	gringo_3.0.3-7_amd64.deb	2012-01-07 20:35	1.5M
	gringo_3.0.3-7_i386.deb	2012-01-07 20:35	1.5M
	gringo_4.2.1.orig.tar.gz	2013-12-16 17:18	601K
	gringo_4.2.1-4.debian.tar.gz	2014-01-13 00:28	8.7K
	gringo_4.2.1-4.dsc	2014-01-13 00:28	2.0K
	gringo_4.2.1-4_amd64.deb	2014-01-13 00:54	905K
	gringo_4.2.1-4_i386.deb	2014-01-13 00:54	894K