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

	Name	Last modified	Size	Description
	Parent Directory		-
	gecode-flatzinc_6.2.0+git20240207-1+b1_amd64.deb	15-Oct-2024 17:35	2.8M
	gecode-flatzinc_6.2.0+git20240207-1_arm64.deb	15-Oct-2024 17:56	2.4M
	gecode-flatzinc_6.2.0+git20240207-1_armel.deb	15-Oct-2024 17:56	2.3M
	gecode-flatzinc_6.2.0+git20240207-1_armhf.deb	15-Oct-2024 17:30	2.4M
	gecode-flatzinc_6.2.0+git20240207-1_i386.deb	15-Oct-2024 17:30	3.0M
	gecode-flatzinc_6.2.0+git20240207-1_mips64el.deb	15-Oct-2024 17:51	2.3M
	gecode-flatzinc_6.2.0+git20240207-1_ppc64el.deb	15-Oct-2024 17:46	2.7M
	gecode-flatzinc_6.2.0+git20240207-1_riscv64.deb	16-Oct-2024 00:57	2.7M
	gecode-flatzinc_6.2.0+git20240207-1_s390x.deb	15-Oct-2024 17:41	3.3M
	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_armel.deb	13-Feb-2025 18:51	2.3M
	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_mips64el.deb	13-Feb-2025 19:33	2.3M
	gecode-flatzinc_6.2.0+git20240207-2_ppc64el.deb	13-Feb-2025 18:09	2.7M
	gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb	14-Feb-2025 01:06	2.7M
	gecode-flatzinc_6.2.0+git20240207-2_s390x.deb	14-Feb-2025 02:38	3.3M
	gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz	05-Jul-2024 10:27	13K
	gecode-snapshot_6.2.0+git20240207-1.dsc	05-Jul-2024 10:27	1.9K
	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