Filename Modification time Size gecode-flatzinc-dbgsym_6.2.0+git20240207-2_amd64.deb 2025-07-16 11:20 CEST 52 MiB gecode-flatzinc-dbgsym_6.2.0+git20240207-2_arm64.deb 2025-07-16 11:20 CEST 50 MiB gecode-flatzinc-dbgsym_6.2.0+git20240207-2_loong64.deb 2025-07-16 11:21 CEST 50 MiB gecode-flatzinc-dbgsym_6.2.0+git20240207-2_riscv64.deb 2025-07-16 11:20 CEST 38 MiB gecode-flatzinc_6.2.0+git20240207-2_amd64.deb 2025-07-16 11:20 CEST 2791 KiB gecode-flatzinc_6.2.0+git20240207-2_arm64.deb 2025-07-16 11:21 CEST 2354 KiB gecode-flatzinc_6.2.0+git20240207-2_loong64.deb 2025-07-16 11:20 CEST 2483 KiB gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb 2025-07-16 11:20 CEST 2571 KiB gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz 2025-07-18 09:55 CEST 13 KiB gecode-snapshot_6.2.0+git20240207-2.dsc 2025-07-18 09:55 CEST 1160 B gecode-snapshot_6.2.0+git20240207.orig.tar.xz 2025-07-18 09:55 CEST 3896 KiB