Index of /rockos/20240830/rockos-base/pool/main/g/gecode/

../
flatzinc_6.2.0-5.1+b1_riscv64.deb                  22-Apr-2024 14:18     71K
gecode_6.2.0-5.1.debian.tar.xz                     15-May-2024 10:57     16K
gecode_6.2.0-5.1.dsc                               15-May-2024 10:57    2200
gecode_6.2.0.orig.tar.gz                           15-May-2024 10:57      4M
libgecode-dev_6.2.0-5.1+b1_riscv64.deb             22-Apr-2024 14:06    498K
libgecode-doc_6.2.0-5.1_all.deb                    22-Apr-2024 14:07     11M
libgecode49t64_6.2.0-5.1+b1_riscv64.deb            22-Apr-2024 14:05      3M
libgecodeflatzinc49t64_6.2.0-5.1+b1_riscv64.deb    22-Apr-2024 14:09    251K
libgecodegist49t64_6.2.0-5.1+b1_riscv64.deb        22-Apr-2024 14:41    161K