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


../
flatzinc_3.7.3-1_armhf.deb                         10-May-2012 02:46               57336
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
gecode_3.7.3-1.debian.tar.gz                       31-Mar-2012 23:03               11191
gecode_3.7.3-1.dsc                                 31-Mar-2012 23:03                1435
gecode_3.7.3.orig.tar.gz                           31-Mar-2012 23:03             1643336
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
libgecode-dev_3.7.3-1_armhf.deb                    10-May-2012 02:46              530368
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-doc_3.7.3-1_all.deb                      31-Mar-2012 23:03            11748480
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
libgecode32_3.7.3-1_armhf.deb                      10-May-2012 02:46             2654054
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
libgecodeflatzinc32_3.7.3-1_armhf.deb              10-May-2012 02:46              172458
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
libgecodegist32_3.7.3-1_armhf.deb                  10-May-2012 02:46              154792
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