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_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-flatzinc_6.2.0+git20260120-2_amd64.deb 2026-05-19 07:39 CEST 2944 KiB gecode-flatzinc_6.2.0+git20260120-2_arm64.deb 2026-05-19 07:34 CEST 2581 KiB gecode-flatzinc_6.2.0+git20260120-2_armhf.deb 2026-05-19 07:34 CEST 2532 KiB gecode-flatzinc_6.2.0+git20260120-2_i386.deb 2026-05-19 07:39 CEST 3040 KiB gecode-flatzinc_6.2.0+git20260120-2_loong64.deb 2026-05-19 07:49 CEST 2763 KiB gecode-flatzinc_6.2.0+git20260120-2_ppc64el.deb 2026-05-19 07:34 CEST 2899 KiB gecode-flatzinc_6.2.0+git20260120-2_riscv64.deb 2026-05-19 11:16 CEST 2871 KiB gecode-flatzinc_6.2.0+git20260120-2_s390x.deb 2026-05-19 07:44 CEST 3379 KiB 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 gecode-snapshot_6.2.0+git20260120-1.debian.tar.xz 2026-02-23 21:30 CET 13 KiB gecode-snapshot_6.2.0+git20260120-1.dsc 2026-02-23 21:30 CET 2043 B gecode-snapshot_6.2.0+git20260120-2.debian.tar.xz 2026-05-19 07:04 CEST 15 KiB gecode-snapshot_6.2.0+git20260120-2.dsc 2026-05-19 07:04 CEST 2043 B gecode-snapshot_6.2.0+git20260120.orig.tar.xz 2026-02-23 21:30 CET 3904 KiB
