Index of /debian-mirror/pool/main/g/gringo

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_3.0.4-3.debian.tar.gz	2012-05-23 23:50	8.9K
	gringo_3.0.4-3.dsc	2012-05-23 23:50	2.0K
	gringo_3.0.4-3_armel.deb	2012-05-24 01:02	1.3M
	gringo_3.0.4.orig.tar.gz	2012-01-26 23:48	527K