File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gecode-flatzinc_6.2.0+git20240207-2build1_riscv64.deb3.2 MiB2026-Jan-21 03:58
gecode-flatzinc_6.2.0+git20240207-2build1_ppc64el.deb2.6 MiB2026-Jan-20 22:50
gecode-flatzinc_6.2.0+git20240207-2build1_armhf.deb2.8 MiB2026-Jan-20 22:50
gecode-flatzinc_6.2.0+git20240207-2build1_arm64.deb2.4 MiB2026-Jan-20 22:49
gecode-flatzinc_6.2.0+git20240207-2build1_amd64.deb2.5 MiB2026-Jan-20 22:48
gecode-snapshot_6.2.0+git20240207-2build1.dsc2.0 KiB2026-Jan-20 20:45
gecode-snapshot_6.2.0+git20240207-2build1.debian.tar.xz13.3 KiB2026-Jan-20 20:45
gecode-snapshot_6.2.0+git20240207.orig.tar.xz3.8 MiB2024-Oct-31 18:51