Index of /ubuntu/pool/universe/g/gecode/

../
flatzinc_4.4.0-3_amd64.deb                         24-Oct-2015 23:36               22358
gecode_4.4.0-3.debian.tar.xz                       24-Oct-2015 23:09               12368
gecode_4.4.0-3.dsc                                 24-Oct-2015 23:09                2094
gecode_4.4.0.orig.tar.gz                           07-May-2015 05:59             2888696
libgecode-dev_4.4.0-3_amd64.deb                    24-Oct-2015 23:36              463038
libgecode-doc_4.4.0-3_all.deb                      24-Oct-2015 23:36            10318550
libgecode41v5_4.4.0-3_amd64.deb                    24-Oct-2015 23:36             2075810
libgecodeflatzinc41v5_4.4.0-3_amd64.deb            24-Oct-2015 23:36              172494
libgecodegist41v5_4.4.0-3_amd64.deb                24-Oct-2015 23:36              119582