Index of /debian/pool/main/g/gecode/

../
flatzinc_6.2.0-5_arm64.deb                         09-Aug-2020 06:58               76000
gecode_6.2.0-5.debian.tar.xz                       09-Aug-2020 06:13               16464
gecode_6.2.0-5.dsc                                 09-Aug-2020 06:13                2127
gecode_6.2.0.orig.tar.gz                           16-Dec-2019 19:01             3672525
libgecode-dev_6.2.0-5_arm64.deb                    09-Aug-2020 06:58              512752
libgecode-doc_6.2.0-5_all.deb                      09-Aug-2020 06:38            11069352
libgecode49_6.2.0-5_arm64.deb                      09-Aug-2020 06:58             2400812
libgecodeflatzinc49_6.2.0-5_arm64.deb              09-Aug-2020 06:58              236272
libgecodegist49_6.2.0-5_arm64.deb                  09-Aug-2020 06:58              161124