Index of /raspbian/pool/main/g/gringo

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_5.4.1-3.1+rpi1+b1_armhf.deb	2023-02-26 20:11	1.5M
	gringo_5.4.1-3+rpi1_armhf.deb	2020-12-30 20:04	1.5M
	gringo_5.3.0-10+rpi1_armhf.deb	2019-03-14 21:28	1.8M