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

Filename	Modification time	Size
gecode-flatzinc_6.2.0+git20240207-1+b1_amd64.deb	2024-10-15 17:35 CEST	2900 KiB
gecode-flatzinc_6.2.0+git20240207-1_arm64.deb	2024-10-15 17:56 CEST	2496 KiB
gecode-flatzinc_6.2.0+git20240207-1_armel.deb	2024-10-15 17:56 CEST	2376 KiB
gecode-flatzinc_6.2.0+git20240207-1_armhf.deb	2024-10-15 17:30 CEST	2484 KiB
gecode-flatzinc_6.2.0+git20240207-1_i386.deb	2024-10-15 17:30 CEST	3036 KiB
gecode-flatzinc_6.2.0+git20240207-1_mips64el.deb	2024-10-15 17:51 CEST	2346 KiB
gecode-flatzinc_6.2.0+git20240207-1_ppc64el.deb	2024-10-15 17:46 CEST	2799 KiB
gecode-flatzinc_6.2.0+git20240207-1_riscv64.deb	2024-10-16 00:57 CEST	2809 KiB
gecode-flatzinc_6.2.0+git20240207-1_s390x.deb	2024-10-15 17:41 CEST	3362 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.orig.tar.xz	2024-07-05 10:27 CEST	3896 KiB