File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb2.7 MiB2025-02-14 08:06:26
gecode-flatzinc_6.2.0+git20240207-2_mips64el.deb2.3 MiB2025-02-14 02:33:05
gecode-flatzinc_6.2.0+git20240207-2_armel.deb2.3 MiB2025-02-14 01:51:45
gecode-flatzinc_6.2.0+git20240207-2_armhf.deb2.4 MiB2025-02-14 01:26:02
gecode-flatzinc_6.2.0+git20240207-2_amd64.deb2.8 MiB2025-02-14 01:20:59
gecode-flatzinc_6.2.0+git20240207-2_i386.deb3.0 MiB2025-02-14 01:09:43
gecode-flatzinc_6.2.0+git20240207-2_ppc64el.deb2.7 MiB2025-02-14 01:09:40
gecode-flatzinc_6.2.0+git20240207-2_arm64.deb2.4 MiB2025-02-14 01:09:38
gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz13.2 KiB2025-02-14 00:18:50
gecode-snapshot_6.2.0+git20240207-2.dsc2.0 KiB2025-02-14 00:18:50
gecode-snapshot_6.2.0+git20240207.orig.tar.xz3.8 MiB2024-07-05 16:27:34