Index of /pool/main/g/gringo

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_3.0.3-7_amd64.deb	2017-09-22 21:49	1.5M
	gringo_4.2.1-4_amd64.deb	2017-09-19 18:58	905K
	gringo_4.5.4-1_amd64.deb	2017-09-19 18:44	1.7M
	gringo_5.4.0-0ubuntu1_amd64.deb	2020-03-30 20:21	2.1M