File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gecode-snapshot_6.2.0+git20240207-2.dsc2.0 KiB2025-Feb-14 00:33
gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz13.2 KiB2025-Feb-14 00:33
gecode-flatzinc_6.2.0+git20240207-2_arm64.deb2.3 MiB2025-Feb-14 01:55
gecode-flatzinc_6.2.0+git20240207-2_ppc64el.deb2.5 MiB2025-Feb-14 01:55
gecode-flatzinc_6.2.0+git20240207-2_armhf.deb2.7 MiB2025-Feb-14 01:55
gecode-flatzinc_6.2.0+git20240207-2_s390x.deb3.1 MiB2025-Feb-14 01:55
gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb3.1 MiB2025-Feb-14 01:55
gecode-snapshot_6.2.0+git20240207.orig.tar.xz3.8 MiB2024-Oct-31 19:51