Index of /main/g/gecode/
../
gecode_3.4.0-1.debian.tar.gz 17-Aug-2012 12:12 10684
gecode_3.4.0-1.dsc 17-Aug-2012 12:12 1161
gecode_3.4.0.orig.tar.gz 17-Aug-2012 12:12 1356195
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.0.0-1.debian.tar.gz 26-May-2013 23:44 12359
gecode_4.0.0-1.dsc 26-May-2013 23:44 1448
gecode_4.0.0-2.debian.tar.gz 26-May-2013 23:44 12435
gecode_4.0.0-2.dsc 26-May-2013 23:44 1448
gecode_4.0.0.orig.tar.gz 26-May-2013 23:44 1867581
gecode_4.2.0-1.debian.tar.gz 04-Aug-2013 14:41 12588
gecode_4.2.0-1.dsc 04-Aug-2013 14:41 2053
gecode_4.2.0.orig.tar.gz 04-Aug-2013 14:41 1891017
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-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-1.debian.tar.xz 07-May-2015 04:35 12236
gecode_4.4.0-1.dsc 07-May-2015 04:35 2099
gecode_4.4.0-2.debian.tar.xz 07-May-2015 19:21 12296
gecode_4.4.0-2.dsc 07-May-2015 19:21 2100
gecode_4.4.0-3.debian.tar.xz 06-Sep-2015 09:38 12368
gecode_4.4.0-3.dsc 06-Sep-2015 09:38 2094
gecode_4.4.0-4.debian.tar.xz 19-Mar-2017 16:42 12780
gecode_4.4.0-4.dsc 19-Mar-2017 16:42 2154
gecode_4.4.0-5.debian.tar.xz 04-Jun-2017 11:38 13116
gecode_4.4.0-5.dsc 04-Jun-2017 11:38 2154
gecode_4.4.0.orig.tar.gz 01-May-2015 07:21 2888696
gecode_5.1.0-1.debian.tar.xz 25-Jul-2017 17:14 13036
gecode_5.1.0-1.dsc 25-Jul-2017 17:14 2142
gecode_5.1.0-2.debian.tar.xz 30-Jul-2017 23:25 14384
gecode_5.1.0-2.dsc 30-Jul-2017 23:25 2156
gecode_5.1.0.orig.tar.gz 25-Jul-2017 17:14 3213603
gecode_6.0.0-1.debian.tar.xz 05-Apr-2018 05:11 15044
gecode_6.0.0-1.dsc 05-Apr-2018 05:11 2156
gecode_6.0.0-2.debian.tar.xz 06-Apr-2018 14:56 15356
gecode_6.0.0-2.dsc 06-Apr-2018 14:56 2156
gecode_6.0.0.orig.tar.gz 05-Apr-2018 05:11 3291281
gecode_6.0.1-1.debian.tar.xz 03-Jun-2018 17:14 15144
gecode_6.0.1-1.dsc 03-Jun-2018 17:14 2156
gecode_6.0.1.orig.tar.gz 03-Jun-2018 17:14 3291070
gecode_6.1.0-1.debian.tar.xz 30-Oct-2018 17:27 15372
gecode_6.1.0-1.dsc 30-Oct-2018 17:27 2156
gecode_6.1.0-2.debian.tar.xz 14-Jan-2019 18:36 15760
gecode_6.1.0-2.dsc 14-Jan-2019 18:36 2156
gecode_6.1.0.orig.tar.gz 30-Oct-2018 17:27 3479369
gecode_6.2.0-1.debian.tar.xz 24-Dec-2019 00:13 16028
gecode_6.2.0-1.dsc 24-Dec-2019 00:13 2156
gecode_6.2.0-2.debian.tar.xz 01-Jan-2020 18:29 16172
gecode_6.2.0-2.dsc 01-Jan-2020 18:29 2156
gecode_6.2.0-3.debian.tar.xz 13-Jan-2020 03:35 16184
gecode_6.2.0-3.dsc 13-Jan-2020 03:35 2156
gecode_6.2.0-4.debian.tar.xz 08-Aug-2020 20:35 16692
gecode_6.2.0-4.dsc 08-Aug-2020 20:35 2157
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 24-Dec-2019 00:13 3672525