Index of /seedlin/pool/main/g/gecode/

../
gecode_6.2.0-7.debian.tar.xz                       11-Jun-2026 19:44               20188
gecode_6.2.0-7.dsc                                 11-Jun-2026 19:44                2196
gecode_6.2.0.orig.tar.gz                           11-Jun-2026 19:44             3672525
libgecode-dev_6.2.0-7_amd64.deb                    11-Jun-2026 19:44              462160
libgecode-dev_6.2.0-7_riscv64.deb                  11-Jun-2026 19:44              462156
libgecode-doc_6.2.0-7_all.deb                      11-Jun-2026 19:44            11058368
libgecode49t64_6.2.0-7_amd64.deb                   11-Jun-2026 19:44             3019088
libgecode49t64_6.2.0-7_riscv64.deb                 11-Jun-2026 19:44             2893352
libgecodeflatzinc49t64_6.2.0-7_amd64.deb           11-Jun-2026 19:44              225044
libgecodeflatzinc49t64_6.2.0-7_riscv64.deb         11-Jun-2026 19:44              211404
libgecodegist49t64_6.2.0-7_amd64.deb               11-Jun-2026 19:44              121616
libgecodegist49t64_6.2.0-7_riscv64.deb             11-Jun-2026 19:44              117908