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


../
flatzinc_4.2.1-2_amd64.deb                         16-Sep-2014 14:47               62656
flatzinc_4.4.0-5_amd64.deb                         03-Jun-2017 10:01               66060
flatzinc_6.1.0-2_amd64.deb                         12-Jan-2019 18:35               66996
gecode_4.2.1-2.debian.tar.xz                       16-Sep-2014 14:47               11828
gecode_4.2.1-2.dsc                                 16-Sep-2014 14:47                2086
gecode_4.2.1.orig.tar.gz                           09-Nov-2013 15:20             1898037
gecode_4.4.0-5.debian.tar.xz                       03-Jun-2017 10:01               13116
gecode_4.4.0-5.dsc                                 03-Jun-2017 10:01                2154
gecode_4.4.0.orig.tar.gz                           01-May-2015 04:21             2888696
gecode_6.1.0-2.debian.tar.xz                       12-Jan-2019 18:35               15760
gecode_6.1.0-2.dsc                                 12-Jan-2019 18:35                2156
gecode_6.1.0.orig.tar.gz                           20-Oct-2018 11:07             3479369
libgecode-dev_4.2.1-2_amd64.deb                    16-Sep-2014 14:47              498898
libgecode-dev_4.4.0-5_amd64.deb                    03-Jun-2017 10:01              506720
libgecode-dev_6.1.0-2_amd64.deb                    12-Jan-2019 18:35              507676
libgecode-doc_4.2.1-2_all.deb                      16-Sep-2014 14:47             9048434
libgecode-doc_4.4.0-5_all.deb                      03-Jun-2017 10:01             9218910
libgecode-doc_6.1.0-2_all.deb                      12-Jan-2019 18:35            10859124
libgecode36_4.2.1-2_amd64.deb                      16-Sep-2014 14:47             2140824
libgecode41v5_4.4.0-5_amd64.deb                    03-Jun-2017 10:01             2116610
libgecode48_6.1.0-2_amd64.deb                      12-Jan-2019 18:35             2693500
libgecodeflatzinc36_4.2.1-2_amd64.deb              16-Sep-2014 14:47              216858
libgecodeflatzinc41v5_4.4.0-5_amd64.deb            03-Jun-2017 10:01              206016
libgecodeflatzinc48_6.1.0-2_amd64.deb              12-Jan-2019 18:35              251760
libgecodegist36_4.2.1-2_amd64.deb                  16-Sep-2014 14:47              159416
libgecodegist41v5_4.4.0-5_amd64.deb                03-Jun-2017 10:01              159296
libgecodegist48_6.1.0-2_amd64.deb                  12-Jan-2019 18:35              172936