| Parent directory/ | - | - |
| gecode_1.3.1-1.dsc | 639 B | 2006-Oct-26 13:17 |
| gecode_2.1.1-1.dsc | 702 B | 2008-Mar-19 05:47 |
| gecode_3.4.0-1.dsc | 1.1 KiB | 2010-Jul-28 10:32 |
| gecode_3.7.3-1.dsc | 1.4 KiB | 2012-Mar-31 23:03 |
| gecode_4.2.1-2.dsc | 2.0 KiB | 2014-Sep-16 17:47 |
| gecode_4.4.0-5.dsc | 2.1 KiB | 2017-Jun-03 13:01 |
| gecode_3.4.0-1.debian.tar.gz | 10.4 KiB | 2010-Jul-28 10:32 |
| gecode_3.7.3-1.debian.tar.gz | 10.9 KiB | 2012-Mar-31 23:03 |
| gecode_4.2.1-2.debian.tar.xz | 11.6 KiB | 2014-Sep-16 17:47 |
| gecode_4.4.0-5.debian.tar.xz | 12.8 KiB | 2017-Jun-03 13:01 |
| gecode_1.3.1-1.diff.gz | 27.4 KiB | 2006-Oct-26 13:17 |
| gecode_2.1.1-1.diff.gz | 28.7 KiB | 2008-Mar-19 05:47 |
| flatzinc_3.7.3-1_amd64.deb | 58.2 KiB | 2012-Mar-31 23:03 |
| flatzinc_4.2.1-2_ppc64el.deb | 61.1 KiB | 2014-Sep-16 20:28 |
| flatzinc_4.2.1-2_amd64.deb | 61.2 KiB | 2014-Sep-16 17:47 |
| flatzinc_4.2.1-2_arm64.deb | 61.5 KiB | 2014-Sep-16 23:55 |
| flatzinc_4.4.0-5_mips64el.deb | 64.2 KiB | 2017-Jun-03 15:11 |
| flatzinc_4.4.0-5_arm64.deb | 64.3 KiB | 2017-Jun-03 13:41 |
| flatzinc_4.4.0-5_amd64.deb | 64.5 KiB | 2017-Jun-03 13:01 |
| flatzinc_4.4.0-5_ppc64el.deb | 64.6 KiB | 2017-Jun-03 13:26 |
| libgecodegist36_4.2.1-2_arm64.deb | 146.8 KiB | 2014-Sep-16 23:55 |
| libgecodegist41v5_4.4.0-5_arm64.deb | 146.9 KiB | 2017-Jun-03 13:41 |
| libgecodegist41v5_4.4.0-5_mips64el.deb | 151.0 KiB | 2017-Jun-03 15:11 |
| libgecodegist41v5_4.4.0-5_ppc64el.deb | 153.2 KiB | 2017-Jun-03 13:26 |
| libgecodegist36_4.2.1-2_ppc64el.deb | 154.9 KiB | 2014-Sep-16 20:28 |
| libgecodegist41v5_4.4.0-5_amd64.deb | 155.6 KiB | 2017-Jun-03 13:01 |
| libgecodegist36_4.2.1-2_amd64.deb | 155.7 KiB | 2014-Sep-16 17:47 |
| libgecodegist32_3.7.3-1_amd64.deb | 168.6 KiB | 2012-Mar-31 23:03 |
| libgecodeflatzinc41v5_4.4.0-5_mips64el.deb | 178.7 KiB | 2017-Jun-03 15:11 |
| libgecodeflatzinc41v5_4.4.0-5_arm64.deb | 182.8 KiB | 2017-Jun-03 13:41 |
| libgecodeflatzinc32_3.7.3-1_amd64.deb | 184.5 KiB | 2012-Mar-31 23:03 |
| libgecodeflatzinc36_4.2.1-2_arm64.deb | 190.1 KiB | 2014-Sep-16 23:55 |
| libgecodeflatzinc41v5_4.4.0-5_ppc64el.deb | 190.9 KiB | 2017-Jun-03 13:26 |
| libgecodeflatzinc36_4.2.1-2_ppc64el.deb | 197.7 KiB | 2014-Sep-16 20:28 |
| libgecodeflatzinc41v5_4.4.0-5_amd64.deb | 201.2 KiB | 2017-Jun-03 13:01 |
| libgecodeflatzinc36_4.2.1-2_amd64.deb | 211.8 KiB | 2014-Sep-16 17:47 |
| libgecode-dev_4.2.1-2_ppc64el.deb | 484.2 KiB | 2014-Sep-16 20:28 |
| libgecode-dev_4.2.1-2_arm64.deb | 485.9 KiB | 2014-Sep-16 23:55 |
| libgecode-dev_4.2.1-2_amd64.deb | 487.2 KiB | 2014-Sep-16 17:47 |
| libgecode-dev_4.4.0-5_arm64.deb | 494.8 KiB | 2017-Jun-03 13:41 |
| libgecode-dev_4.4.0-5_amd64.deb | 494.8 KiB | 2017-Jun-03 13:01 |
| libgecode-dev_4.4.0-5_ppc64el.deb | 494.8 KiB | 2017-Jun-03 13:26 |
| libgecode-dev_4.4.0-5_mips64el.deb | 494.9 KiB | 2017-Jun-03 15:11 |
| libgecode-dev_3.7.3-1_amd64.deb | 521.2 KiB | 2012-Mar-31 23:03 |
| libgecode-dev_3.4.0-1_amd64.deb | 746.3 KiB | 2010-Jul-28 23:32 |
| gecode_1.3.1.orig.tar.gz | 877.7 KiB | 2006-Oct-26 13:17 |
| gecode_2.1.1.orig.tar.gz | 965.0 KiB | 2008-Mar-19 05:47 |
| libgecode8_1.3.1-1_amd64.deb | 1.2 MiB | 2006-Nov-05 23:33 |
| gecode_3.4.0.orig.tar.gz | 1.3 MiB | 2010-Jul-28 10:32 |
| libgecode8_1.3.1-1_arm.deb | 1.4 MiB | 2006-Nov-07 00:34 |
| gecode_3.7.3.orig.tar.gz | 1.6 MiB | 2012-Mar-31 23:03 |
| libgecode41v5_4.4.0-5_mips64el.deb | 1.7 MiB | 2017-Jun-03 15:11 |
| libgecode41v5_4.4.0-5_arm64.deb | 1.7 MiB | 2017-Jun-03 13:41 |
| libgecode36_4.2.1-2_arm64.deb | 1.7 MiB | 2014-Sep-16 23:55 |
| libgecode41v5_4.4.0-5_ppc64el.deb | 1.8 MiB | 2017-Jun-03 13:26 |
| gecode_4.2.1.orig.tar.gz | 1.8 MiB | 2013-Nov-09 18:20 |
| libgecode36_4.2.1-2_ppc64el.deb | 1.9 MiB | 2014-Sep-16 20:28 |
| libgecode41v5_4.4.0-5_amd64.deb | 2.0 MiB | 2017-Jun-03 13:01 |
| libgecode36_4.2.1-2_amd64.deb | 2.0 MiB | 2014-Sep-16 17:47 |
| libgecode12_2.1.1-1_amd64.deb | 2.2 MiB | 2008-Mar-24 10:32 |
| libgecode7-dev_1.3.1-1_amd64.deb | 2.3 MiB | 2006-Nov-05 23:33 |
| libgecode7-dev_1.3.1-1_arm.deb | 2.5 MiB | 2006-Nov-07 00:34 |
| libgecode12_2.1.1-1_arm.deb | 2.5 MiB | 2008-Mar-25 11:32 |
| gecode_4.4.0.orig.tar.gz | 2.8 MiB | 2015-May-01 07:21 |
| libgecode32_3.7.3-1_amd64.deb | 2.8 MiB | 2012-Mar-31 23:03 |
| libgecode23_3.4.0-1_amd64.deb | 2.8 MiB | 2010-Jul-28 23:32 |
| libgecode-doc_1.3.1-1_all.deb | 3.8 MiB | 2006-Oct-26 13:17 |
| libgecode12-dev_2.1.1-1_amd64.deb | 4.3 MiB | 2008-Mar-24 10:32 |
| libgecode12-dev_2.1.1-1_arm.deb | 4.8 MiB | 2008-Mar-25 11:32 |
| libgecode-doc_2.1.1-1_all.deb | 7.5 MiB | 2008-Mar-19 05:47 |
| libgecode-doc_4.2.1-2_all.deb | 8.6 MiB | 2014-Sep-16 17:47 |
| libgecode-doc_4.4.0-5_all.deb | 8.8 MiB | 2017-Jun-03 13:01 |
| libgecode-doc_3.4.0-1_all.deb | 10.0 MiB | 2010-Jul-28 10:32 |
| libgecode-doc_3.7.3-1_all.deb | 11.2 MiB | 2012-Mar-31 23:03 |