Index of /pool/universe/g/gecode/


../
flatzinc_3.7.1-3_amd64.deb                         13-Dec-2011 11:04               21910
flatzinc_3.7.1-3_i386.deb                          13-Dec-2011 11:04               22030
flatzinc_4.2.1-1_amd64.deb                         20-Nov-2013 13:58               21682
flatzinc_4.2.1-1_i386.deb                          20-Nov-2013 13:58               21642
flatzinc_4.4.0-3_amd64.deb                         24-Oct-2015 23:36               22358
flatzinc_4.4.0-3_i386.deb                          24-Oct-2015 23:38               22494
flatzinc_5.1.0-2build1_amd64.deb                   24-Jan-2018 23:34               15564
flatzinc_5.1.0-2build1_i386.deb                    24-Jan-2018 23:34               15780
flatzinc_6.1.0-2_amd64.deb                         13-Jan-2019 05:23               16560
flatzinc_6.1.0-2_i386.deb                          13-Jan-2019 05:28               16784
flatzinc_6.2.0-3build1_amd64.deb                   24-Mar-2020 16:11               24624
gecode_3.7.1-3.debian.tar.gz                       13-Dec-2011 10:04               12490
gecode_3.7.1-3.dsc                                 13-Dec-2011 10:04                1431
gecode_3.7.1.orig.tar.gz                           27-Oct-2011 10:04             1620891
gecode_4.2.1-1.debian.tar.gz                       20-Nov-2013 05:18               12575
gecode_4.2.1-1.dsc                                 20-Nov-2013 05:18                2053
gecode_4.2.1.orig.tar.gz                           20-Nov-2013 05:18             1898037
gecode_4.4.0-3.debian.tar.xz                       24-Oct-2015 23:09               12368
gecode_4.4.0-3.dsc                                 24-Oct-2015 23:09                2094
gecode_4.4.0.orig.tar.gz                           07-May-2015 05:59             2888696
gecode_5.1.0-2build1.debian.tar.xz                 24-Jan-2018 22:58               14460
gecode_5.1.0-2build1.dsc                           24-Jan-2018 22:58                2172
gecode_5.1.0.orig.tar.gz                           25-Jul-2017 17:08             3213603
gecode_6.1.0-2.debian.tar.xz                       13-Jan-2019 05:13               15760
gecode_6.1.0-2.dsc                                 13-Jan-2019 05:13                2156
gecode_6.1.0.orig.tar.gz                           09-Nov-2018 06:49             3479369
gecode_6.2.0-3build1.debian.tar.xz                 24-Mar-2020 14:43               16264
gecode_6.2.0-3build1.dsc                           24-Mar-2020 14:43                2205
gecode_6.2.0.orig.tar.gz                           10-Jan-2020 23:13             3672525
libgecode-dev_3.7.1-3_amd64.deb                    13-Dec-2011 11:04              490614
libgecode-dev_3.7.1-3_i386.deb                     13-Dec-2011 11:04              480460
libgecode-dev_4.2.1-1_amd64.deb                    20-Nov-2013 13:58              454922
libgecode-dev_4.2.1-1_i386.deb                     20-Nov-2013 13:58              455442
libgecode-dev_4.4.0-3_amd64.deb                    24-Oct-2015 23:36              463038
libgecode-dev_4.4.0-3_i386.deb                     24-Oct-2015 23:38              463060
libgecode-dev_5.1.0-2build1_amd64.deb              24-Jan-2018 23:34              437592
libgecode-dev_5.1.0-2build1_i386.deb               24-Jan-2018 23:34              437588
libgecode-dev_6.1.0-2_amd64.deb                    13-Jan-2019 05:23              458356
libgecode-dev_6.1.0-2_i386.deb                     13-Jan-2019 05:28              458352
libgecode-dev_6.2.0-3build1_amd64.deb              24-Mar-2020 16:11              461796
libgecode-doc_3.7.1-3_all.deb                      13-Dec-2011 11:04             9577676
libgecode-doc_4.2.1-1_all.deb                      20-Nov-2013 13:58             8752460
libgecode-doc_4.4.0-3_all.deb                      24-Oct-2015 23:36            10318550
libgecode-doc_5.1.0-2build1_all.deb                24-Jan-2018 23:34            10282080
libgecode-doc_6.1.0-2_all.deb                      13-Jan-2019 05:23            10602772
libgecode-doc_6.2.0-3build1_all.deb                24-Mar-2020 16:11            11004280
libgecode30_3.7.1-3_amd64.deb                      13-Dec-2011 11:04             2862108
libgecode30_3.7.1-3_i386.deb                       13-Dec-2011 11:04             2898904
libgecode36_4.2.1-1_amd64.deb                      20-Nov-2013 13:58             1980314
libgecode36_4.2.1-1_i386.deb                       20-Nov-2013 13:58             1949708
libgecode41v5_4.4.0-3_amd64.deb                    24-Oct-2015 23:36             2075810
libgecode41v5_4.4.0-3_i386.deb                     24-Oct-2015 23:38             2143664
libgecode44_5.1.0-2build1_amd64.deb                24-Jan-2018 23:34             2336980
libgecode44_5.1.0-2build1_i386.deb                 24-Jan-2018 23:34             2488040
libgecode48_6.1.0-2_amd64.deb                      13-Jan-2019 05:23             2643912
libgecode48_6.1.0-2_i386.deb                       13-Jan-2019 05:28             2781020
libgecode49_6.2.0-3build1_amd64.deb                24-Mar-2020 16:11             2683352
libgecodeflatzinc30_3.7.1-3_amd64.deb              13-Dec-2011 11:04              148874
libgecodeflatzinc30_3.7.1-3_i386.deb               13-Dec-2011 11:04              143458
libgecodeflatzinc36_4.2.1-1_amd64.deb              20-Nov-2013 13:58              168262
libgecodeflatzinc36_4.2.1-1_i386.deb               20-Nov-2013 13:58              161822
libgecodeflatzinc41v5_4.4.0-3_amd64.deb            24-Oct-2015 23:36              172494
libgecodeflatzinc41v5_4.4.0-3_i386.deb             24-Oct-2015 23:38              175056
libgecodeflatzinc44_5.1.0-2build1_amd64.deb        24-Jan-2018 23:34              181252
libgecodeflatzinc44_5.1.0-2build1_i386.deb         24-Jan-2018 23:34              193052
libgecodeflatzinc48_6.1.0-2_amd64.deb              13-Jan-2019 05:23              200628
libgecodeflatzinc48_6.1.0-2_i386.deb               13-Jan-2019 05:28              211456
libgecodeflatzinc49_6.2.0-3build1_amd64.deb        24-Mar-2020 16:11              214588
libgecodegist30_3.7.1-3_amd64.deb                  13-Dec-2011 11:04              133564
libgecodegist30_3.7.1-3_i386.deb                   13-Dec-2011 11:04              134258
libgecodegist36_4.2.1-1_amd64.deb                  20-Nov-2013 13:58              116900
libgecodegist36_4.2.1-1_i386.deb                   20-Nov-2013 13:58              117318
libgecodegist41v5_4.4.0-3_amd64.deb                24-Oct-2015 23:36              119582
libgecodegist41v5_4.4.0-3_i386.deb                 24-Oct-2015 23:38              124280
libgecodegist44_5.1.0-2build1_amd64.deb            24-Jan-2018 23:34              119212
libgecodegist44_5.1.0-2build1_i386.deb             24-Jan-2018 23:34              125280
libgecodegist48_6.1.0-2_amd64.deb                  13-Jan-2019 05:23              121920
libgecodegist48_6.1.0-2_i386.deb                   13-Jan-2019 05:28              128208
libgecodegist49_6.2.0-3build1_amd64.deb            24-Mar-2020 16:11              120240