Index of /mirror-backup20251114/pool/universe/g/gecode/

../
gecode_6.2.0-6.debian.tar.xz                       28-Aug-2024 18:53     20K
gecode_6.2.0-6.dsc                                 28-Aug-2024 18:53    2122
libgecode-dev_6.2.0-6_amd64.deb                    28-Aug-2024 18:53    451K
libgecode-doc_6.2.0-6_all.deb                      28-Aug-2024 18:53     11M
libgecode49t64_6.2.0-6_amd64.deb                   28-Aug-2024 18:53      3M
libgecodeflatzinc49t64_6.2.0-6_amd64.deb           28-Aug-2024 18:53    208K
libgecodegist49t64_6.2.0-6_amd64.deb               28-Aug-2024 18:53    115K