Name	Last modified	Size
Parent Directory		-
gecode-flatzinc_6.2.0+git20240207-2_amd64.deb	2025-02-13 18:54	2.5M
gecode-flatzinc_6.2.0+git20240207-2_arm64.deb	2025-02-13 18:55	2.3M
gecode-flatzinc_6.2.0+git20240207-2build1_amd64.deb	2026-01-20 16:48	2.5M
gecode-flatzinc_6.2.0+git20240207-2build1_amd64v3.deb	2026-01-20 16:49	2.6M
gecode-flatzinc_6.2.0+git20240207-2build1_arm64.deb	2026-01-20 16:49	2.4M
gecode-flatzinc_6.2.0+git20260120-2_amd64.deb	2026-05-20 12:38	2.5M
gecode-flatzinc_6.2.0+git20260120-2_amd64v3.deb	2026-05-20 12:38	2.6M
gecode-flatzinc_6.2.0+git20260120-2_arm64.deb	2026-05-20 12:38	2.4M
gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz	2025-02-13 17:33	13K
gecode-snapshot_6.2.0+git20240207-2.dsc	2025-02-13 17:33	2.0K
gecode-snapshot_6.2.0+git20240207-2build1.debian.tar.xz	2026-01-20 14:45	13K
gecode-snapshot_6.2.0+git20240207-2build1.dsc	2026-01-20 14:45	2.0K
gecode-snapshot_6.2.0+git20240207.orig.tar.xz	2024-10-31 13:51	3.8M
gecode-snapshot_6.2.0+git20260120-2.debian.tar.xz	2026-05-20 12:09	15K
gecode-snapshot_6.2.0+git20260120-2.dsc	2026-05-20 12:09	2.0K
gecode-snapshot_6.2.0+git20260120.orig.tar.xz	2026-05-20 12:09	3.8M