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


../
flatzinc_3.7.3-1_armhf.deb                         10-May-2012 02:46               57336
flatzinc_4.2.1-1_armhf.deb                         30-Nov-2013 10:34               60778
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-1.debian.tar.gz                       09-Nov-2013 18:20               12575
gecode_4.2.1-1.dsc                                 09-Nov-2013 18:20                2053
gecode_4.2.1.orig.tar.gz                           09-Nov-2013 18:20             1898037
libgecode-dev_3.7.3-1_armhf.deb                    10-May-2012 02:46              530368
libgecode-dev_4.2.1-1_armhf.deb                    30-Nov-2013 10:34              493216
libgecode-doc_3.7.3-1_all.deb                      31-Mar-2012 23:03            11748480
libgecode-doc_4.2.1-1_all.deb                      09-Nov-2013 18:20             8266934
libgecode32_3.7.3-1_armhf.deb                      10-May-2012 02:46             2654054
libgecode36_4.2.1-1_armhf.deb                      30-Nov-2013 10:34             1711716
libgecodeflatzinc32_3.7.3-1_armhf.deb              10-May-2012 02:46              172458
libgecodeflatzinc36_4.2.1-1_armhf.deb              30-Nov-2013 10:34              181246
libgecodegist32_3.7.3-1_armhf.deb                  10-May-2012 02:46              154792
libgecodegist36_4.2.1-1_armhf.deb                  30-Nov-2013 10:34              137466