Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/g/gringo

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_3.0.3-7.debian.tar.gz	2012-01-07 18:34	7.1K
	gringo_3.0.3-7.dsc	2012-01-07 18:34	2.0K
	gringo_3.0.3-7_armhf.deb	2012-01-07 18:35	1.2M
	gringo_3.0.3.orig.tar.gz	2011-05-04 07:09	525K
	gringo_3.0.4-3.debian.tar.gz	2012-05-24 11:27	8.9K
	gringo_3.0.4-3.dsc	2012-05-24 11:27	2.0K
	gringo_3.0.4-3_armhf.deb	2012-05-25 04:08	1.3M
	gringo_3.0.4-4.debian.tar.gz	2012-11-22 09:33	9.7K
	gringo_3.0.4-4.dsc	2012-11-22 09:33	2.0K
	gringo_3.0.4-4_armhf.deb	2012-11-22 10:04	1.2M
	gringo_3.0.4.orig.tar.gz	2012-04-30 12:38	527K
	gringo_3.0.5-1.debian.tar.gz	2013-05-22 22:34	7.5K
	gringo_3.0.5-1.dsc	2013-05-22 22:34	2.0K
	gringo_3.0.5-1_armhf.deb	2013-05-22 23:04	1.3M
	gringo_3.0.5.orig.tar.gz	2013-05-22 22:34	530K
	gringo_4.2.1-4.debian.tar.gz	2014-01-12 22:28	8.7K
	gringo_4.2.1-4.dsc	2014-01-12 22:28	2.0K
	gringo_4.2.1-4_armhf.deb	2014-01-12 22:54	746K
	gringo_4.2.1.orig.tar.gz	2013-12-16 15:18	601K