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


../
flatzinc_6.1.0-2_armhf.deb                         18-Jan-2019 10:08               64764
flatzinc_6.2.0-5_armhf.deb                         14-Aug-2020 10:08               74368
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
gecode_6.2.0-5.debian.tar.xz                       09-Aug-2020 06:13               16464
gecode_6.2.0-5.dsc                                 09-Aug-2020 06:13                2127
gecode_6.2.0.orig.tar.gz                           16-Dec-2019 19:01             3672525
libgecode-dev_6.1.0-2_armhf.deb                    18-Jan-2019 10:08              507600
libgecode-dev_6.2.0-5_armhf.deb                    14-Aug-2020 10:08              512760
libgecode-doc_6.1.0-2_all.deb                      12-Jan-2019 21:35            10859124
libgecode-doc_6.2.0-5_all.deb                      09-Aug-2020 06:38            11069352
libgecode48_6.1.0-2_armhf.deb                      18-Jan-2019 10:08             2133984
libgecode49_6.2.0-5_armhf.deb                      14-Aug-2020 10:08             2173148
libgecodeflatzinc48_6.1.0-2_armhf.deb              18-Jan-2019 10:08              214840
libgecodeflatzinc49_6.2.0-5_armhf.deb              14-Aug-2020 10:08              225628
libgecodegist48_6.1.0-2_armhf.deb                  18-Jan-2019 10:08              152080
libgecodegist49_6.2.0-5_armhf.deb                  14-Aug-2020 10:08              152404