Index of /pool/main/g/gringo

	Name	Last modified	Size
	Parent Directory		-
	gringo_5.1.0-4.debian.tar.xz	2016-12-20 08:01	13K
	gringo_5.1.0-4.dsc	2016-12-20 08:01	2.0K
	gringo_5.1.0-4_armhf.deb	2016-12-31 17:08	1.9M
	gringo_5.1.0.orig.tar.gz	2016-12-11 21:52	2.1M
	gringo_5.3.0-10+rpi1.debian.tar.xz	2019-03-14 22:28	18K
	gringo_5.3.0-10+rpi1.dsc	2019-03-14 22:28	1.2K
	gringo_5.3.0-10+rpi1_armhf.deb	2019-03-14 22:28	1.8M
	gringo_5.3.0.orig.tar.gz	2018-11-11 18:41	2.6M
	gringo_5.4.1-3+rpi1.debian.tar.xz	2020-12-30 21:04	24K
	gringo_5.4.1-3+rpi1.dsc	2020-12-30 21:04	2.2K
	gringo_5.4.1-3+rpi1_armhf.deb	2020-12-30 21:04	1.5M
	gringo_5.4.1-3.1+rpi1+b1_armhf.deb	2023-02-26 21:11	1.5M
	gringo_5.4.1-3.1+rpi1.debian.tar.xz	2022-12-16 11:08	26K
	gringo_5.4.1-3.1+rpi1.dsc	2022-12-16 11:08	2.2K
	gringo_5.4.1.orig.tar.gz	2020-12-27 16:25	2.7M