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-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