Index of /ubuntu-ports/pool/universe/g/gecode-snapshot
Name Last modified Size Description
Parent Directory -
gecode-flatzinc_6.2.0+git20240207-2_s390x.deb 2025-02-14 01:55 3.0M
gecode-flatzinc_6.2.0+git20240207-2_riscv64.deb 2025-02-14 01:55 3.1M
gecode-flatzinc_6.2.0+git20240207-2_ppc64el.deb 2025-02-14 01:55 2.5M
gecode-flatzinc_6.2.0+git20240207-2_armhf.deb 2025-02-14 01:55 2.7M
gecode-flatzinc_6.2.0+git20240207-2_arm64.deb 2025-02-14 01:55 2.3M
gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz 2025-02-14 00:33 13K
gecode-snapshot_6.2.0+git20240207-2.dsc 2025-02-14 00:33 2.0K
gecode-snapshot_6.2.0+git20240207.orig.tar.xz 2024-10-31 19:51 3.8M
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80