Index of /pool/main/g/gringo

	Name	Last modified	Size
	Parent Directory		-
	gringo_5.6.2.orig.tar.gz	12-Feb-2024 10:07	4.8M
	gringo_5.8.0.orig.tar.gz	12-Oct-2025 11:46	4.3M
	gringo_5.4.1.orig.tar.gz	27-Dec-2020 16:25	2.7M
	gringo_5.8.0-1_i386.deb	12-Oct-2025 12:07	2.0M
	gringo_5.8.0-1_riscv64.deb	12-Oct-2025 13:38	1.9M
	gringo_5.6.2-2_i386.deb	25-Jun-2024 14:42	1.9M
	gringo_5.4.1-3.1+b1_i386.deb	03-Jan-2023 15:31	1.9M
	gringo_5.4.1-3_i386.deb	28-Dec-2020 15:14	1.9M
	gringo_5.8.0-1_amd64.deb	12-Oct-2025 12:07	1.9M
	gringo_5.6.2-2_riscv64.deb	25-Jun-2024 17:41	1.8M
	gringo_5.4.1-3.1+b1_amd64.deb	03-Jan-2023 08:45	1.8M
	gringo_5.6.2-2_amd64.deb	25-Jun-2024 14:42	1.8M
	gringo_5.4.1-3_amd64.deb	28-Dec-2020 15:09	1.8M
	gringo_5.8.0-1_arm64.deb	12-Oct-2025 12:07	1.8M
	gringo_5.6.2-2+b1_arm64.deb	30-Oct-2024 10:14	1.7M
	gringo_5.8.0-1_armhf.deb	12-Oct-2025 12:07	1.6M
	gringo_5.4.1-3.1+b1_arm64.deb	03-Jan-2023 07:12	1.6M
	gringo_5.4.1-3_arm64.deb	28-Dec-2020 15:30	1.6M
	gringo_5.6.2-2_armhf.deb	25-Jun-2024 14:47	1.5M
	gringo_5.4.1-3.1+b1_armhf.deb	03-Jan-2023 09:11	1.5M
	gringo_5.4.1-3_armhf.deb	28-Dec-2020 15:45	1.5M
	gringo_5.6.2-2.debian.tar.xz	25-Jun-2024 14:02	24K
	gringo_5.8.0-1.debian.tar.xz	12-Oct-2025 11:46	24K
	gringo_5.4.1-3.debian.tar.xz	28-Dec-2020 14:44	23K
	gringo_5.4.1-3.1.debian.tar.xz	19-Nov-2022 12:27	21K
	gringo_5.4.1-3.1.dsc	19-Nov-2022 12:27	2.1K
	gringo_5.4.1-3.dsc	28-Dec-2020 14:44	2.1K
	gringo_5.8.0-1.dsc	12-Oct-2025 11:46	2.0K
	gringo_5.6.2-2.dsc	25-Jun-2024 14:02	2.0K