Index of /pureos/pool/main/g/gecode-snapshot/

../
gecode-flatzinc_6.2.0+git20240207-1+b1_amd64.deb   23-Oct-2024 16:35      3M
gecode-flatzinc_6.2.0+git20240207-1_arm64.deb      23-Oct-2024 16:35      2M
gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz  23-Oct-2024 16:03     13K
gecode-snapshot_6.2.0+git20240207-1.dsc            23-Oct-2024 16:03    1919
gecode-snapshot_6.2.0+git20240207.orig.tar.xz      23-Oct-2024 16:03      4M