Index of /pool/main/g/gringo

	Name	Last modified	Size	Description
	Parent Directory		-
	gringo_5.3.0-10.dsc	2019-08-27 11:47	2.1K
	gringo_5.4.1-3.dsc	2023-02-25 17:32	2.1K
	gringo_5.4.1-3.1.dsc	2023-03-12 08:26	2.1K
	gringo_5.3.0-10.debian.tar.xz	2019-08-27 11:47	18K
	gringo_5.4.1-3.1.debian.tar.xz	2023-03-12 08:26	21K
	gringo_5.4.1-3.debian.tar.xz	2023-02-25 17:32	23K
	gringo_5.4.1-3_amd64.deb	2023-02-25 17:32	1.8M
	gringo_5.4.1-3.1+b1_amd64.deb	2023-03-12 08:26	1.8M
	gringo_5.3.0-10_amd64.deb	2019-08-27 11:47	2.1M
	gringo_5.3.0.orig.tar.gz	2019-08-27 11:47	2.6M
	gringo_5.4.1.orig.tar.gz	2023-02-25 17:32	2.7M