Index of /debian-archive/debian/pool/main/g/gecode

Icon  Name                                           Last modified      Size  
[PARENTDIR] Parent Directory                                                    -   
[   ] gecode_1.3.1-1.diff.gz                         2006-10-26 08:17   27K  
[   ] gecode_1.3.1.orig.tar.gz                       2006-10-26 08:17  878K  
[   ] libgecode7-dev_1.3.1-1_i386.deb                2006-10-26 08:17  2.4M  
[   ] libgecode8_1.3.1-1_i386.deb                    2006-10-26 08:17  1.4M  
[TXT] gecode_1.3.1-1.dsc                             2006-10-26 08:17  639   
[   ] libgecode-doc_1.3.1-1_all.deb                  2006-10-26 08:17  3.8M  
[   ] libgecode7-dev_1.3.1-1_s390.deb                2006-11-05 12:02  2.3M  
[   ] libgecode8_1.3.1-1_s390.deb                    2006-11-05 12:02  1.2M  
[   ] libgecode7-dev_1.3.1-1_amd64.deb               2006-11-05 17:33  2.3M  
[   ] libgecode8_1.3.1-1_amd64.deb                   2006-11-05 17:33  1.2M  
[   ] libgecode7-dev_1.3.1-1_mips.deb                2006-11-06 12:33  2.4M  
[   ] libgecode8_1.3.1-1_mips.deb                    2006-11-06 12:33  1.3M  
[   ] libgecode7-dev_1.3.1-1_mipsel.deb              2006-11-06 12:33  2.4M  
[   ] libgecode8_1.3.1-1_mipsel.deb                  2006-11-06 12:33  1.3M  
[   ] libgecode7-dev_1.3.1-1_alpha.deb               2006-11-06 12:50  2.7M  
[   ] libgecode8_1.3.1-1_alpha.deb                   2006-11-06 12:50  1.3M  
[   ] libgecode7-dev_1.3.1-1_hppa.deb                2006-11-06 13:04  2.5M  
[   ] libgecode8_1.3.1-1_hppa.deb                    2006-11-06 13:04  1.3M  
[   ] libgecode7-dev_1.3.1-1_ia64.deb                2006-11-06 13:04  3.4M  
[   ] libgecode8_1.3.1-1_ia64.deb                    2006-11-06 13:04  1.9M  
[   ] libgecode7-dev_1.3.1-1_powerpc.deb             2006-11-06 13:04  2.3M  
[   ] libgecode8_1.3.1-1_powerpc.deb                 2006-11-06 13:04  1.2M  
[   ] libgecode7-dev_1.3.1-1_arm.deb                 2006-11-06 18:34  2.5M  
[   ] libgecode8_1.3.1-1_arm.deb                     2006-11-06 18:34  1.4M  
[   ] libgecode7-dev_1.3.1-1_m68k.deb                2006-11-09 07:32  2.2M  
[   ] libgecode8_1.3.1-1_m68k.deb                    2006-11-09 07:32  1.1M  
[   ] libgecode7-dev_1.3.1-1+b1_sparc.deb            2007-02-21 08:32  2.1M  
[   ] libgecode8_1.3.1-1+b1_sparc.deb                2007-02-21 08:32  1.5M  
[   ] gecode_2.1.1-1.diff.gz                         2008-03-19 00:47   29K  
[TXT] gecode_2.1.1-1.dsc                             2008-03-19 00:47  702   
[   ] gecode_2.1.1.orig.tar.gz                       2008-03-19 00:47  965K  
[   ] libgecode-doc_2.1.1-1_all.deb                  2008-03-19 00:47  7.5M  
[   ] libgecode12-dev_2.1.1-1_i386.deb               2008-03-19 00:47  4.2M  
[   ] libgecode12_2.1.1-1_i386.deb                   2008-03-19 00:47  2.2M  
[   ] libgecode12-dev_2.1.1-1_alpha.deb              2008-03-23 23:32  5.6M  
[   ] libgecode12_2.1.1-1_alpha.deb                  2008-03-23 23:32  2.4M  
[   ] libgecode12-dev_2.1.1-1_amd64.deb              2008-03-24 05:32  4.3M  
[   ] libgecode12_2.1.1-1_amd64.deb                  2008-03-24 05:32  2.2M  
[   ] libgecode12-dev_2.1.1-1_s390.deb               2008-03-24 09:32  4.3M  
[   ] libgecode12_2.1.1-1_s390.deb                   2008-03-24 09:32  2.0M  
[   ] libgecode12-dev_2.1.1-1_sparc.deb              2008-03-24 12:47  3.8M  
[   ] libgecode12_2.1.1-1_sparc.deb                  2008-03-24 12:47  2.5M  
[   ] libgecode12-dev_2.1.1-1_ia64.deb               2008-03-24 13:17  6.5M  
[   ] libgecode12_2.1.1-1_ia64.deb                   2008-03-24 13:17  3.4M  
[   ] libgecode12-dev_2.1.1-1_powerpc.deb            2008-03-24 17:47  4.2M  
[   ] libgecode12_2.1.1-1_powerpc.deb                2008-03-24 17:47  2.2M  
[   ] libgecode12-dev_2.1.1-1_arm.deb                2008-03-25 06:32  4.8M  
[   ] libgecode12_2.1.1-1_arm.deb                    2008-03-25 06:32  2.5M  
[   ] libgecode12-dev_2.1.1-1_mips.deb               2008-03-31 11:02  3.9M  
[   ] libgecode12_2.1.1-1_mips.deb                   2008-03-31 11:02  1.5M  
[   ] libgecode12-dev_2.1.1-1_armel.deb              2008-04-05 08:47  3.7M  
[   ] libgecode12_2.1.1-1_armel.deb                  2008-04-05 08:47  1.5M  
[   ] libgecode12-dev_2.1.1-1_hppa.deb               2008-04-10 13:17  4.8M  
[   ] libgecode12_2.1.1-1_hppa.deb                   2008-04-10 13:17  2.4M  
[   ] libgecode12-dev_2.1.1-1_mipsel.deb             2008-05-26 09:17  3.8M  
[   ] libgecode12_2.1.1-1_mipsel.deb                 2008-05-26 09:17  1.5M  
[   ] gecode_3.4.0-1.debian.tar.gz                   2010-07-28 05:32   10K  
[TXT] gecode_3.4.0-1.dsc                             2010-07-28 05:32  1.1K  
[   ] gecode_3.4.0.orig.tar.gz                       2010-07-28 05:32  1.3M  
[   ] libgecode-dev_3.4.0-1_i386.deb                 2010-07-28 05:32  747K  
[   ] libgecode-doc_3.4.0-1_all.deb                  2010-07-28 05:32   10M  
[   ] libgecode23_3.4.0-1_i386.deb                   2010-07-28 05:32  2.8M  
[   ] libgecode-dev_3.4.0-1_powerpc.deb              2010-07-28 07:02  750K  
[   ] libgecode23_3.4.0-1_powerpc.deb                2010-07-28 07:02  2.8M  
[   ] libgecode-dev_3.4.0-1_sparc.deb                2010-07-28 07:17  747K  
[   ] libgecode23_3.4.0-1_sparc.deb                  2010-07-28 07:17  2.7M  
[   ] libgecode-dev_3.4.0-1_kfreebsd-i386.deb        2010-07-28 07:32  739K  
[   ] libgecode23_3.4.0-1_kfreebsd-i386.deb          2010-07-28 07:32  2.8M  
[   ] libgecode-dev_3.4.0-1_s390.deb                 2010-07-28 09:48  740K  
[   ] libgecode23_3.4.0-1_s390.deb                   2010-07-28 09:48  2.7M  
[   ] libgecode-dev_3.4.0-1_armel.deb                2010-07-28 15:33  746K  
[   ] libgecode23_3.4.0-1_armel.deb                  2010-07-28 15:33  2.6M  
[   ] libgecode-dev_3.4.0-1_ia64.deb                 2010-07-28 17:33  750K  
[   ] libgecode23_3.4.0-1_ia64.deb                   2010-07-28 17:33  4.3M  
[   ] libgecode-dev_3.4.0-1_mips.deb                 2010-07-28 17:33  748K  
[   ] libgecode23_3.4.0-1_mips.deb                   2010-07-28 17:33  2.7M  
[   ] libgecode-dev_3.4.0-1_mipsel.deb               2010-07-28 17:33  739K  
[   ] libgecode23_3.4.0-1_mipsel.deb                 2010-07-28 17:33  2.6M  
[   ] libgecode-dev_3.4.0-1_amd64.deb                2010-07-28 18:32  746K  
[   ] libgecode23_3.4.0-1_amd64.deb                  2010-07-28 18:32  2.8M  
[   ] libgecode-dev_3.4.0-1_kfreebsd-amd64.deb       2010-07-29 16:33  739K  
[   ] libgecode23_3.4.0-1_kfreebsd-amd64.deb         2010-07-29 16:33  2.8M  
[   ] gecode_3.7.3-1.debian.tar.gz                   2012-03-31 18:03   11K  
[   ] libgecode-dev_3.7.3-1_amd64.deb                2012-03-31 18:03  521K  
[   ] libgecode32_3.7.3-1_amd64.deb                  2012-03-31 18:03  2.8M  
[   ] libgecodegist32_3.7.3-1_amd64.deb              2012-03-31 18:03  169K  
[   ] libgecode-doc_3.7.3-1_all.deb                  2012-03-31 18:03   11M  
[   ] libgecodeflatzinc32_3.7.3-1_amd64.deb          2012-03-31 18:03  184K  
[   ] flatzinc_3.7.3-1_amd64.deb                     2012-03-31 18:03   58K  
[TXT] gecode_3.7.3-1.dsc                             2012-03-31 18:03  1.4K  
[   ] gecode_3.7.3.orig.tar.gz                       2012-03-31 18:03  1.6M  
[   ] flatzinc_3.7.3-1_powerpc.deb                   2012-03-31 18:48   59K  
[   ] libgecode-dev_3.7.3-1_powerpc.deb              2012-03-31 18:48  519K  
[   ] libgecode32_3.7.3-1_powerpc.deb                2012-03-31 18:48  2.7M  
[   ] libgecodeflatzinc32_3.7.3-1_powerpc.deb        2012-03-31 18:48  182K  
[   ] libgecodegist32_3.7.3-1_powerpc.deb            2012-03-31 18:48  172K  
[   ] libgecodeflatzinc32_3.7.3-1_i386.deb           2012-03-31 19:02  180K  
[   ] libgecode32_3.7.3-1_i386.deb                   2012-03-31 19:02  2.8M  
[   ] flatzinc_3.7.3-1_i386.deb                      2012-03-31 19:02   58K  
[   ] libgecode-dev_3.7.3-1_i386.deb                 2012-03-31 19:02  518K  
[   ] libgecodegist32_3.7.3-1_i386.deb               2012-03-31 19:02  169K  
[   ] libgecode-dev_3.7.3-1_kfreebsd-amd64.deb       2012-03-31 19:03  508K  
[   ] libgecodeflatzinc32_3.7.3-1_kfreebsd-amd64.deb 2012-03-31 19:03  185K  
[   ] libgecodegist32_3.7.3-1_kfreebsd-amd64.deb     2012-03-31 19:03  169K  
[   ] flatzinc_3.7.3-1_kfreebsd-amd64.deb            2012-03-31 19:03   59K  
[   ] libgecode32_3.7.3-1_kfreebsd-amd64.deb         2012-03-31 19:03  2.8M  
[   ] libgecodegist32_3.7.3-1_kfreebsd-i386.deb      2012-03-31 19:03  169K  
[   ] libgecode-dev_3.7.3-1_kfreebsd-i386.deb        2012-03-31 19:03  508K  
[   ] libgecode32_3.7.3-1_kfreebsd-i386.deb          2012-03-31 19:03  2.8M  
[   ] flatzinc_3.7.3-1_kfreebsd-i386.deb             2012-03-31 19:03   59K  
[   ] libgecodeflatzinc32_3.7.3-1_kfreebsd-i386.deb  2012-03-31 19:03  180K  
[   ] libgecodegist32_3.7.3-1_s390x.deb              2012-03-31 19:03  175K  
[   ] libgecode32_3.7.3-1_s390x.deb                  2012-03-31 19:03  3.2M  
[   ] flatzinc_3.7.3-1_s390x.deb                     2012-03-31 19:03   59K  
[   ] libgecode-dev_3.7.3-1_s390x.deb                2012-03-31 19:03  517K  
[   ] libgecodeflatzinc32_3.7.3-1_s390x.deb          2012-03-31 19:03  189K  
[   ] flatzinc_3.7.3-1_s390.deb                      2012-03-31 19:32   59K  
[   ] libgecode-dev_3.7.3-1_s390.deb                 2012-03-31 19:32  516K  
[   ] libgecodegist32_3.7.3-1_s390.deb               2012-03-31 19:32  169K  
[   ] libgecode32_3.7.3-1_s390.deb                   2012-03-31 19:32  2.7M  
[   ] libgecodeflatzinc32_3.7.3-1_s390.deb           2012-03-31 19:32  177K  
[   ] libgecode-dev_3.7.3-1_armhf.deb                2012-03-31 22:48  519K  
[   ] libgecode32_3.7.3-1_armhf.deb                  2012-03-31 22:48  2.3M  
[   ] libgecodegist32_3.7.3-1_armhf.deb              2012-03-31 22:48  145K  
[   ] flatzinc_3.7.3-1_armhf.deb                     2012-03-31 22:48   57K  
[   ] libgecodeflatzinc32_3.7.3-1_armhf.deb          2012-03-31 22:48  160K  
[   ] libgecode-dev_3.7.3-1_mips.deb                 2012-03-31 22:48  520K  
[   ] libgecodeflatzinc32_3.7.3-1_mips.deb           2012-03-31 22:48  172K  
[   ] libgecodegist32_3.7.3-1_mips.deb               2012-03-31 22:48  163K  
[   ] flatzinc_3.7.3-1_mips.deb                      2012-03-31 22:48   58K  
[   ] libgecode32_3.7.3-1_mips.deb                   2012-03-31 22:48  2.6M  
[   ] libgecode-dev_3.7.3-1_armel.deb                2012-04-01 00:02  522K  
[   ] libgecodegist32_3.7.3-1_armel.deb              2012-04-01 00:02  156K  
[   ] flatzinc_3.7.3-1_armel.deb                     2012-04-01 00:02   59K  
[   ] libgecode32_3.7.3-1_armel.deb                  2012-04-01 00:02  2.6M  
[   ] libgecodeflatzinc32_3.7.3-1_armel.deb          2012-04-01 00:02  171K  
[   ] flatzinc_3.7.3-1_ia64.deb                      2012-04-01 12:36   60K  
[   ] libgecodeflatzinc32_3.7.3-1_ia64.deb           2012-04-01 12:36  234K  
[   ] libgecode-dev_3.7.3-1_ia64.deb                 2012-04-01 12:36  508K  
[   ] libgecodegist32_3.7.3-1_ia64.deb               2012-04-01 12:36  208K  
[   ] libgecode32_3.7.3-1_ia64.deb                   2012-04-01 12:36  4.2M  
[   ] flatzinc_3.7.3-1_mipsel.deb                    2012-04-05 16:33   58K  
[   ] libgecode-dev_3.7.3-1_mipsel.deb               2012-04-05 16:33  519K  
[   ] libgecodeflatzinc32_3.7.3-1_mipsel.deb         2012-04-05 16:33  168K  
[   ] libgecodegist32_3.7.3-1_mipsel.deb             2012-04-05 16:33  160K  
[   ] libgecode32_3.7.3-1_mipsel.deb                 2012-04-05 16:33  2.4M  
[   ] libgecodegist32_3.7.3-1_sparc.deb              2012-04-28 08:47  163K  
[   ] flatzinc_3.7.3-1_sparc.deb                     2012-04-28 08:47   58K  
[   ] libgecode-dev_3.7.3-1_sparc.deb                2012-04-28 08:47  518K  
[   ] libgecode32_3.7.3-1_sparc.deb                  2012-04-28 08:47  2.6M  
[   ] libgecodeflatzinc32_3.7.3-1_sparc.deb          2012-04-28 08:47  172K  
[   ] gecode_4.2.1.orig.tar.gz                       2013-11-09 12:20  1.8M  
[   ] libgecode-dev_4.2.1-2_amd64.deb                2014-09-16 12:47  487K  
[   ] libgecode-doc_4.2.1-2_all.deb                  2014-09-16 12:47  8.6M  
[   ] libgecode36_4.2.1-2_amd64.deb                  2014-09-16 12:47  2.0M  
[   ] libgecodegist36_4.2.1-2_amd64.deb              2014-09-16 12:47  156K  
[   ] flatzinc_4.2.1-2_amd64.deb                     2014-09-16 12:47   61K  
[   ] gecode_4.2.1-2.debian.tar.xz                   2014-09-16 12:47   12K  
[TXT] gecode_4.2.1-2.dsc                             2014-09-16 12:47  2.0K  
[   ] libgecodeflatzinc36_4.2.1-2_amd64.deb          2014-09-16 12:47  212K  
[   ] libgecode-dev_4.2.1-2_i386.deb                 2014-09-16 13:12  485K  
[   ] libgecode36_4.2.1-2_i386.deb                   2014-09-16 13:12  2.1M  
[   ] libgecodegist36_4.2.1-2_i386.deb               2014-09-16 13:12  159K  
[   ] flatzinc_4.2.1-2_i386.deb                      2014-09-16 13:12   61K  
[   ] libgecodeflatzinc36_4.2.1-2_i386.deb           2014-09-16 13:12  210K  
[   ] libgecode-dev_4.2.1-2_powerpc.deb              2014-09-16 13:17  487K  
[   ] flatzinc_4.2.1-2_powerpc.deb                   2014-09-16 13:17   61K  
[   ] libgecode36_4.2.1-2_powerpc.deb                2014-09-16 13:17  1.8M  
[   ] libgecodeflatzinc36_4.2.1-2_powerpc.deb        2014-09-16 13:17  189K  
[   ] libgecodegist36_4.2.1-2_powerpc.deb            2014-09-16 13:17  149K  
[   ] libgecode-dev_4.2.1-2_s390x.deb                2014-09-16 13:27  487K  
[   ] libgecode36_4.2.1-2_s390x.deb                  2014-09-16 13:27  1.9M  
[   ] flatzinc_4.2.1-2_s390x.deb                     2014-09-16 13:27   61K  
[   ] libgecodeflatzinc36_4.2.1-2_s390x.deb          2014-09-16 13:27  203K  
[   ] libgecodegist36_4.2.1-2_s390x.deb              2014-09-16 13:27  155K  
[   ] flatzinc_4.2.1-2_kfreebsd-amd64.deb            2014-09-16 13:27   61K  
[   ] libgecode-dev_4.2.1-2_kfreebsd-amd64.deb       2014-09-16 13:27  483K  
[   ] libgecode36_4.2.1-2_kfreebsd-amd64.deb         2014-09-16 13:27  2.0M  
[   ] libgecodeflatzinc36_4.2.1-2_kfreebsd-amd64.deb 2014-09-16 13:27  212K  
[   ] libgecodegist36_4.2.1-2_kfreebsd-amd64.deb     2014-09-16 13:27  155K  
[   ] flatzinc_4.2.1-2_kfreebsd-i386.deb             2014-09-16 14:28   61K  
[   ] libgecode-dev_4.2.1-2_kfreebsd-i386.deb        2014-09-16 14:28  484K  
[   ] libgecode36_4.2.1-2_kfreebsd-i386.deb          2014-09-16 14:28  2.1M  
[   ] libgecodeflatzinc36_4.2.1-2_kfreebsd-i386.deb  2014-09-16 14:28  210K  
[   ] libgecodegist36_4.2.1-2_kfreebsd-i386.deb      2014-09-16 14:28  159K  
[   ] libgecode-dev_4.2.1-2_ppc64el.deb              2014-09-16 15:28  484K  
[   ] libgecode36_4.2.1-2_ppc64el.deb                2014-09-16 15:28  1.9M  
[   ] flatzinc_4.2.1-2_ppc64el.deb                   2014-09-16 15:28   61K  
[   ] libgecodeflatzinc36_4.2.1-2_ppc64el.deb        2014-09-16 15:28  198K  
[   ] libgecodegist36_4.2.1-2_ppc64el.deb            2014-09-16 15:28  155K  
[   ] libgecode-dev_4.2.1-2_mips.deb                 2014-09-16 15:58  487K  
[   ] libgecode36_4.2.1-2_mips.deb                   2014-09-16 15:58  1.7M  
[   ] libgecodegist36_4.2.1-2_mips.deb               2014-09-16 15:58  145K  
[   ] flatzinc_4.2.1-2_mips.deb                      2014-09-16 15:58   60K  
[   ] libgecodeflatzinc36_4.2.1-2_mips.deb           2014-09-16 15:58  174K  
[   ] libgecode-dev_4.2.1-2_armhf.deb                2014-09-16 18:00  486K  
[   ] libgecode36_4.2.1-2_armhf.deb                  2014-09-16 18:00  1.8M  
[   ] libgecodegist36_4.2.1-2_armhf.deb              2014-09-16 18:00  140K  
[   ] flatzinc_4.2.1-2_armhf.deb                     2014-09-16 18:00   60K  
[   ] libgecodeflatzinc36_4.2.1-2_armhf.deb          2014-09-16 18:00  186K  
[   ] libgecode-dev_4.2.1-2_arm64.deb                2014-09-16 18:55  486K  
[   ] libgecode36_4.2.1-2_arm64.deb                  2014-09-16 18:55  1.7M  
[   ] flatzinc_4.2.1-2_arm64.deb                     2014-09-16 18:55   61K  
[   ] libgecodeflatzinc36_4.2.1-2_arm64.deb          2014-09-16 18:55  190K  
[   ] libgecodegist36_4.2.1-2_arm64.deb              2014-09-16 18:55  147K  
[   ] libgecode-dev_4.2.1-2_mipsel.deb               2014-09-16 19:15  484K  
[   ] libgecode36_4.2.1-2_mipsel.deb                 2014-09-16 19:15  1.7M  
[   ] flatzinc_4.2.1-2_mipsel.deb                    2014-09-16 19:15   61K  
[   ] libgecodeflatzinc36_4.2.1-2_mipsel.deb         2014-09-16 19:15  176K  
[   ] libgecodegist36_4.2.1-2_mipsel.deb             2014-09-16 19:15  143K  
[   ] libgecode-dev_4.2.1-2_armel.deb                2014-09-16 21:26  487K  
[   ] libgecode36_4.2.1-2_armel.deb                  2014-09-16 21:26  1.8M  
[   ] flatzinc_4.2.1-2_armel.deb                     2014-09-16 21:26   60K  
[   ] libgecodeflatzinc36_4.2.1-2_armel.deb          2014-09-16 21:26  182K  
[   ] libgecodegist36_4.2.1-2_armel.deb              2014-09-16 21:26  140K  
[   ] gecode_4.4.0.orig.tar.gz                       2015-05-01 02:21  2.8M  
[   ] flatzinc_4.4.0-5_amd64.deb                     2017-06-03 08:01   65K  
[   ] gecode_4.4.0-5.debian.tar.xz                   2017-06-03 08:01   13K  
[TXT] gecode_4.4.0-5.dsc                             2017-06-03 08:01  2.1K  
[   ] libgecode-dev_4.4.0-5_amd64.deb                2017-06-03 08:01  495K  
[   ] libgecode-doc_4.4.0-5_all.deb                  2017-06-03 08:01  8.8M  
[   ] libgecode41v5_4.4.0-5_amd64.deb                2017-06-03 08:01  2.0M  
[   ] libgecodeflatzinc41v5_4.4.0-5_amd64.deb        2017-06-03 08:01  201K  
[   ] libgecodegist41v5_4.4.0-5_amd64.deb            2017-06-03 08:01  156K  
[   ] flatzinc_4.4.0-5_ppc64el.deb                   2017-06-03 08:26   65K  
[   ] libgecode-dev_4.4.0-5_ppc64el.deb              2017-06-03 08:26  495K  
[   ] libgecode41v5_4.4.0-5_ppc64el.deb              2017-06-03 08:26  1.8M  
[   ] libgecodeflatzinc41v5_4.4.0-5_ppc64el.deb      2017-06-03 08:26  191K  
[   ] libgecodegist41v5_4.4.0-5_ppc64el.deb          2017-06-03 08:26  153K  
[   ] flatzinc_4.4.0-5_s390x.deb                     2017-06-03 08:41   64K  
[   ] libgecode-dev_4.4.0-5_s390x.deb                2017-06-03 08:41  495K  
[   ] libgecode41v5_4.4.0-5_s390x.deb                2017-06-03 08:41  1.9M  
[   ] libgecodeflatzinc41v5_4.4.0-5_s390x.deb        2017-06-03 08:41  191K  
[   ] libgecodegist41v5_4.4.0-5_s390x.deb            2017-06-03 08:41  151K  
[   ] flatzinc_4.4.0-5_i386.deb                      2017-06-03 08:41   65K  
[   ] libgecode-dev_4.4.0-5_i386.deb                 2017-06-03 08:41  495K  
[   ] libgecode41v5_4.4.0-5_i386.deb                 2017-06-03 08:41  2.1M  
[   ] libgecodeflatzinc41v5_4.4.0-5_i386.deb         2017-06-03 08:41  212K  
[   ] libgecodegist41v5_4.4.0-5_i386.deb             2017-06-03 08:41  164K  
[   ] flatzinc_4.4.0-5_arm64.deb                     2017-06-03 08:41   64K  
[   ] libgecode-dev_4.4.0-5_arm64.deb                2017-06-03 08:41  495K  
[   ] libgecode41v5_4.4.0-5_arm64.deb                2017-06-03 08:41  1.7M  
[   ] libgecodeflatzinc41v5_4.4.0-5_arm64.deb        2017-06-03 08:41  183K  
[   ] libgecodegist41v5_4.4.0-5_arm64.deb            2017-06-03 08:41  147K  
[   ] flatzinc_4.4.0-5_armel.deb                     2017-06-03 09:11   63K  
[   ] libgecode-dev_4.4.0-5_armel.deb                2017-06-03 09:11  495K  
[   ] libgecode41v5_4.4.0-5_armel.deb                2017-06-03 09:11  1.7M  
[   ] libgecodeflatzinc41v5_4.4.0-5_armel.deb        2017-06-03 09:11  177K  
[   ] libgecodegist41v5_4.4.0-5_armel.deb            2017-06-03 09:11  140K  
[   ] flatzinc_4.4.0-5_armhf.deb                     2017-06-03 09:11   63K  
[   ] libgecode-dev_4.4.0-5_armhf.deb                2017-06-03 09:11  495K  
[   ] libgecode41v5_4.4.0-5_armhf.deb                2017-06-03 09:11  1.8M  
[   ] libgecodeflatzinc41v5_4.4.0-5_armhf.deb        2017-06-03 09:11  181K  
[   ] libgecodegist41v5_4.4.0-5_armhf.deb            2017-06-03 09:11  143K  
[   ] flatzinc_4.4.0-5_mips.deb                      2017-06-03 09:11   64K  
[   ] libgecode-dev_4.4.0-5_mips.deb                 2017-06-03 09:11  495K  
[   ] libgecode41v5_4.4.0-5_mips.deb                 2017-06-03 09:11  1.7M  
[   ] libgecodeflatzinc41v5_4.4.0-5_mips.deb         2017-06-03 09:11  176K  
[   ] libgecodegist41v5_4.4.0-5_mips.deb             2017-06-03 09:11  148K  
[   ] flatzinc_4.4.0-5_mipsel.deb                    2017-06-03 09:11   64K  
[   ] libgecode-dev_4.4.0-5_mipsel.deb               2017-06-03 09:11  495K  
[   ] libgecode41v5_4.4.0-5_mipsel.deb               2017-06-03 09:11  1.7M  
[   ] libgecodeflatzinc41v5_4.4.0-5_mipsel.deb       2017-06-03 09:11  179K  
[   ] libgecodegist41v5_4.4.0-5_mipsel.deb           2017-06-03 09:11  146K  
[   ] flatzinc_4.4.0-5_mips64el.deb                  2017-06-03 10:11   64K  
[   ] libgecode-dev_4.4.0-5_mips64el.deb             2017-06-03 10:11  495K  
[   ] libgecode41v5_4.4.0-5_mips64el.deb             2017-06-03 10:11  1.7M  
[   ] libgecodeflatzinc41v5_4.4.0-5_mips64el.deb     2017-06-03 10:11  179K  
[   ] libgecodegist41v5_4.4.0-5_mips64el.deb         2017-06-03 10:11  151K  
[   ] gecode_6.1.0.orig.tar.gz                       2018-10-20 09:07  3.3M  
[   ] flatzinc_6.1.0-2_amd64.deb                     2019-01-12 15:35   65K  
[   ] gecode_6.1.0-2.debian.tar.xz                   2019-01-12 15:35   15K  
[TXT] gecode_6.1.0-2.dsc                             2019-01-12 15:35  2.1K  
[   ] libgecode-dev_6.1.0-2_amd64.deb                2019-01-12 15:35  496K  
[   ] libgecode-doc_6.1.0-2_all.deb                  2019-01-12 15:35   10M  
[   ] libgecode48_6.1.0-2_amd64.deb                  2019-01-12 15:35  2.6M  
[   ] libgecodeflatzinc48_6.1.0-2_amd64.deb          2019-01-12 15:35  246K  
[   ] libgecodegist48_6.1.0-2_amd64.deb              2019-01-12 15:35  169K  
[   ] flatzinc_6.1.0-2_i386.deb                      2019-01-12 16:57   66K  
[   ] libgecode-dev_6.1.0-2_i386.deb                 2019-01-12 16:57  496K  
[   ] libgecode48_6.1.0-2_i386.deb                   2019-01-12 16:57  2.7M  
[   ] libgecodeflatzinc48_6.1.0-2_i386.deb           2019-01-12 16:57  257K  
[   ] libgecodegist48_6.1.0-2_i386.deb               2019-01-12 16:57  175K  
[   ] flatzinc_6.1.0-2_ppc64el.deb                   2019-01-12 16:57   66K  
[   ] libgecode-dev_6.1.0-2_ppc64el.deb              2019-01-12 16:57  496K  
[   ] libgecode48_6.1.0-2_ppc64el.deb                2019-01-12 16:57  2.5M  
[   ] libgecodeflatzinc48_6.1.0-2_ppc64el.deb        2019-01-12 16:57  242K  
[   ] libgecodegist48_6.1.0-2_ppc64el.deb            2019-01-12 16:57  171K  
[   ] flatzinc_6.1.0-2_s390x.deb                     2019-01-12 16:57   65K  
[   ] libgecode-dev_6.1.0-2_s390x.deb                2019-01-12 16:57  496K  
[   ] libgecode48_6.1.0-2_s390x.deb                  2019-01-12 16:57  2.3M  
[   ] libgecodeflatzinc48_6.1.0-2_s390x.deb          2019-01-12 16:57  220K  
[   ] libgecodegist48_6.1.0-2_s390x.deb              2019-01-12 16:57  160K  
[   ] flatzinc_6.1.0-2_armhf.deb                     2019-01-12 17:12   63K  
[   ] libgecode-dev_6.1.0-2_armhf.deb                2019-01-12 17:12  496K  
[   ] libgecode48_6.1.0-2_armhf.deb                  2019-01-12 17:12  2.2M  
[   ] libgecodeflatzinc48_6.1.0-2_armhf.deb          2019-01-12 17:12  217K  
[   ] libgecodegist48_6.1.0-2_armhf.deb              2019-01-12 17:12  151K  
[   ] flatzinc_6.1.0-2_arm64.deb                     2019-01-12 17:27   65K  
[   ] libgecode-dev_6.1.0-2_arm64.deb                2019-01-12 17:27  496K  
[   ] libgecode48_6.1.0-2_arm64.deb                  2019-01-12 17:27  2.2M  
[   ] libgecodeflatzinc48_6.1.0-2_arm64.deb          2019-01-12 17:27  222K  
[   ] libgecodegist48_6.1.0-2_arm64.deb              2019-01-12 17:27  159K  
[   ] flatzinc_6.1.0-2_armel.deb                     2019-01-12 18:12   63K  
[   ] libgecode-dev_6.1.0-2_armel.deb                2019-01-12 18:12  496K  
[   ] libgecode48_6.1.0-2_armel.deb                  2019-01-12 18:12  2.1M  
[   ] libgecodeflatzinc48_6.1.0-2_armel.deb          2019-01-12 18:12  210K  
[   ] libgecodegist48_6.1.0-2_armel.deb              2019-01-12 18:12  150K  
[   ] flatzinc_6.1.0-2_mipsel.deb                    2019-01-12 18:45   65K  
[   ] libgecode-dev_6.1.0-2_mipsel.deb               2019-01-12 18:45  496K  
[   ] libgecode48_6.1.0-2_mipsel.deb                 2019-01-12 18:45  2.0M  
[   ] libgecodeflatzinc48_6.1.0-2_mipsel.deb         2019-01-12 18:45  210K  
[   ] libgecodegist48_6.1.0-2_mipsel.deb             2019-01-12 18:45  155K  
[   ] flatzinc_6.1.0-2_mips.deb                      2019-01-12 19:41   65K  
[   ] libgecode-dev_6.1.0-2_mips.deb                 2019-01-12 19:41  496K  
[   ] libgecode48_6.1.0-2_mips.deb                   2019-01-12 19:41  2.1M  
[   ] libgecodeflatzinc48_6.1.0-2_mips.deb           2019-01-12 19:41  207K  
[   ] libgecodegist48_6.1.0-2_mips.deb               2019-01-12 19:41  157K  
[   ] flatzinc_6.1.0-2_mips64el.deb                  2019-01-12 20:11   65K  
[   ] libgecode-dev_6.1.0-2_mips64el.deb             2019-01-12 20:11  496K  
[   ] libgecode48_6.1.0-2_mips64el.deb               2019-01-12 20:11  2.1M  
[   ] libgecodeflatzinc48_6.1.0-2_mips64el.deb       2019-01-12 20:11  211K  
[   ] libgecodegist48_6.1.0-2_mips64el.deb           2019-01-12 20:11  161K  
[   ] gecode_6.2.0.orig.tar.gz                       2019-12-16 13:01  3.5M  
[   ] gecode_6.2.0-5.debian.tar.xz                   2020-08-09 01:13   16K  
[TXT] gecode_6.2.0-5.dsc                             2020-08-09 01:13  2.1K  
[   ] flatzinc_6.2.0-5_i386.deb                      2020-08-09 01:38   75K  
[   ] libgecode-dev_6.2.0-5_i386.deb                 2020-08-09 01:38  501K  
[   ] libgecode49_6.2.0-5_i386.deb                   2020-08-09 01:38  2.8M  
[   ] libgecodeflatzinc49_6.2.0-5_i386.deb           2020-08-09 01:38  268K  
[   ] libgecodegist49_6.2.0-5_i386.deb               2020-08-09 01:38  173K  
[   ] libgecode-doc_6.2.0-5_all.deb                  2020-08-09 01:38   11M  
[   ] flatzinc_6.2.0-5_ppc64el.deb                   2020-08-09 01:43   75K  
[   ] libgecode-dev_6.2.0-5_ppc64el.deb              2020-08-09 01:43  501K  
[   ] libgecode49_6.2.0-5_ppc64el.deb                2020-08-09 01:43  2.6M  
[   ] libgecodeflatzinc49_6.2.0-5_ppc64el.deb        2020-08-09 01:43  251K  
[   ] libgecodegist49_6.2.0-5_ppc64el.deb            2020-08-09 01:43  169K  
[   ] flatzinc_6.2.0-5_amd64.deb                     2020-08-09 01:43   74K  
[   ] libgecode-dev_6.2.0-5_amd64.deb                2020-08-09 01:43  501K  
[   ] libgecode49_6.2.0-5_amd64.deb                  2020-08-09 01:43  2.7M  
[   ] libgecodeflatzinc49_6.2.0-5_amd64.deb          2020-08-09 01:43  258K  
[   ] libgecodegist49_6.2.0-5_amd64.deb              2020-08-09 01:43  166K  
[   ] flatzinc_6.2.0-5_armel.deb                     2020-08-09 01:58   72K  
[   ] libgecode-dev_6.2.0-5_armel.deb                2020-08-09 01:58  501K  
[   ] libgecode49_6.2.0-5_armel.deb                  2020-08-09 01:58  2.1M  
[   ] libgecodeflatzinc49_6.2.0-5_armel.deb          2020-08-09 01:58  221K  
[   ] libgecodegist49_6.2.0-5_armel.deb              2020-08-09 01:58  150K  
[   ] flatzinc_6.2.0-5_arm64.deb                     2020-08-09 01:58   74K  
[   ] libgecode-dev_6.2.0-5_arm64.deb                2020-08-09 01:58  501K  
[   ] libgecode49_6.2.0-5_arm64.deb                  2020-08-09 01:58  2.3M  
[   ] libgecodeflatzinc49_6.2.0-5_arm64.deb          2020-08-09 01:58  231K  
[   ] libgecodegist49_6.2.0-5_arm64.deb              2020-08-09 01:58  157K  
[   ] flatzinc_6.2.0-5_armhf.deb                     2020-08-09 01:58   72K  
[   ] libgecode-dev_6.2.0-5_armhf.deb                2020-08-09 01:58  501K  
[   ] libgecode49_6.2.0-5_armhf.deb                  2020-08-09 01:58  2.2M  
[   ] libgecodeflatzinc49_6.2.0-5_armhf.deb          2020-08-09 01:58  225K  
[   ] libgecodegist49_6.2.0-5_armhf.deb              2020-08-09 01:58  151K  
[   ] flatzinc_6.2.0-5_mips64el.deb                  2020-08-09 03:14   74K  
[   ] libgecode-dev_6.2.0-5_mips64el.deb             2020-08-09 03:14  501K  
[   ] libgecode49_6.2.0-5_mips64el.deb               2020-08-09 03:14  2.2M  
[   ] libgecodeflatzinc49_6.2.0-5_mips64el.deb       2020-08-09 03:14  218K  
[   ] libgecodegist49_6.2.0-5_mips64el.deb           2020-08-09 03:14  160K  
[   ] flatzinc_6.2.0-5_mipsel.deb                    2020-08-09 03:44   74K  
[   ] libgecode-dev_6.2.0-5_mipsel.deb               2020-08-09 03:44  501K  
[   ] libgecode49_6.2.0-5_mipsel.deb                 2020-08-09 03:44  1.9M  
[   ] libgecodeflatzinc49_6.2.0-5_mipsel.deb         2020-08-09 03:44  214K  
[   ] libgecodegist49_6.2.0-5_mipsel.deb             2020-08-09 03:44  153K  
[   ] flatzinc_6.2.0-5_s390x.deb                     2020-08-09 04:15   74K  
[   ] libgecode-dev_6.2.0-5_s390x.deb                2020-08-09 04:15  501K  
[   ] libgecode49_6.2.0-5_s390x.deb                  2020-08-09 04:15  2.4M  
[   ] libgecodeflatzinc49_6.2.0-5_s390x.deb          2020-08-09 04:15  233K  
[   ] libgecodegist49_6.2.0-5_s390x.deb              2020-08-09 04:15  159K