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