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

Filename	Modification time	Size
gecode-flatzinc_6.2.0+git20240207-2_amd64.deb	2025-02-13 18:20 CET	2900 KiB
gecode-flatzinc_6.2.0+git20240207-2_arm64.deb	2025-02-13 18:09 CET	2498 KiB
gecode-flatzinc_6.2.0+git20240207-2_armel.deb	2025-02-13 18:51 CET	2377 KiB
gecode-flatzinc_6.2.0+git20240207-2_armhf.deb	2025-02-13 18:26 CET	2486 KiB
gecode-flatzinc_6.2.0+git20240207-2_i386.deb	2025-02-13 18:09 CET	3037 KiB
gecode-flatzinc_6.2.0+git20240207-2_mips64el.deb	2025-02-13 19:33 CET	2358 KiB
gecode-flatzinc_6.2.0+git20240207-2_ppc64el.deb	2025-02-13 18:09 CET	2804 KiB
gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb	2025-02-14 01:06 CET	2810 KiB
gecode-flatzinc_6.2.0+git20240207-2_s390x.deb	2025-02-14 02:38 CET	3356 KiB
gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz	2024-07-05 10:27 CEST	13 KiB
gecode-snapshot_6.2.0+git20240207-1.dsc	2024-07-05 10:27 CEST	1919 B
gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz	2025-02-13 17:18 CET	13 KiB
gecode-snapshot_6.2.0+git20240207-2.dsc	2025-02-13 17:18 CET	2043 B
gecode-snapshot_6.2.0+git20240207.orig.tar.xz	2024-07-05 10:27 CEST	3896 KiB