Index of /201912242333/raspbian/pool/main/g/gecode/


../
flatzinc_4.2.1-2_armhf.deb                         22-Sep-2014 11:10               61120
flatzinc_4.4.0-5_armhf.deb                         05-Jun-2017 10:08               64558
flatzinc_6.1.0-2_armhf.deb                         18-Jan-2019 10:08               64764
gecode_4.2.1-2.debian.tar.xz                       16-Sep-2014 17:47               11828
gecode_4.2.1-2.dsc                                 16-Sep-2014 17:47                2086
gecode_4.2.1.orig.tar.gz                           09-Nov-2013 18:20             1898037
gecode_4.4.0-5.debian.tar.xz                       03-Jun-2017 13:01               13116
gecode_4.4.0-5.dsc                                 03-Jun-2017 13:01                2154
gecode_4.4.0.orig.tar.gz                           01-May-2015 07:21             2888696
gecode_6.1.0-2.debian.tar.xz                       12-Jan-2019 21:35               15760
gecode_6.1.0-2.dsc                                 12-Jan-2019 21:35                2156
gecode_6.1.0.orig.tar.gz                           20-Oct-2018 14:07             3479369
libgecode-dev_4.2.1-2_armhf.deb                    22-Sep-2014 11:10              494976
libgecode-dev_4.4.0-5_armhf.deb                    05-Jun-2017 10:08              506712
libgecode-dev_6.1.0-2_armhf.deb                    18-Jan-2019 10:08              507600
libgecode-doc_4.2.1-2_all.deb                      16-Sep-2014 17:47             9048434
libgecode-doc_4.4.0-5_all.deb                      03-Jun-2017 13:01             9218910
libgecode-doc_6.1.0-2_all.deb                      12-Jan-2019 21:35            10859124
libgecode36_4.2.1-2_armhf.deb                      22-Sep-2014 11:10             1714464
libgecode41v5_4.4.0-5_armhf.deb                    05-Jun-2017 10:08             1730490
libgecode48_6.1.0-2_armhf.deb                      18-Jan-2019 10:08             2133984
libgecodeflatzinc36_4.2.1-2_armhf.deb              22-Sep-2014 11:10              181060
libgecodeflatzinc41v5_4.4.0-5_armhf.deb            05-Jun-2017 10:08              182102
libgecodeflatzinc48_6.1.0-2_armhf.deb              18-Jan-2019 10:08              214840
libgecodegist36_4.2.1-2_armhf.deb                  22-Sep-2014 11:10              137954
libgecodegist41v5_4.4.0-5_armhf.deb                05-Jun-2017 10:08              142458
libgecodegist48_6.1.0-2_armhf.deb                  18-Jan-2019 10:08              152080