Index of /pool/main/g/gecode-snapshot

	Name	Last modified	Size
	Parent Directory		-
	gecode-flatzinc_6.2.0+git20240207-2_amd64.deb	13-Feb-2025 18:20	2.8M
	gecode-flatzinc_6.2.0+git20240207-2_arm64.deb	13-Feb-2025 18:09	2.4M
	gecode-flatzinc_6.2.0+git20240207-2_armhf.deb	13-Feb-2025 18:26	2.4M
	gecode-flatzinc_6.2.0+git20240207-2_i386.deb	13-Feb-2025 18:09	3.0M
	gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb	14-Feb-2025 01:06	2.7M
	gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz	13-Feb-2025 17:18	13K
	gecode-snapshot_6.2.0+git20240207-2.dsc	13-Feb-2025 17:18	2.0K
	gecode-snapshot_6.2.0+git20240207.orig.tar.xz	05-Jul-2024 10:27	3.8M