File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
gecode-flatzinc_6.2.0+git20240207-2_amd64.deb	2.5 MiB	2025-02-13 20:54
gecode-flatzinc_6.2.0+git20240207-2build1_amd64.deb	2.5 MiB	2026-01-20 18:48
gecode-flatzinc_6.2.0+git20240207-2build1_amd64v3.deb	2.6 MiB	2026-01-20 18:49
gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz	13.2 KiB	2025-02-13 19:33
gecode-snapshot_6.2.0+git20240207-2.dsc	2.0 KiB	2025-02-13 19:33
gecode-snapshot_6.2.0+git20240207-2build1.debian.tar.xz	13.3 KiB	2026-01-20 16:45
gecode-snapshot_6.2.0+git20240207-2build1.dsc	2.0 KiB	2026-01-20 16:45
gecode-snapshot_6.2.0+git20240207.orig.tar.xz	3.8 MiB	2024-10-31 14:51