| Parent directory/ | - | - |
| flatzinc_6.1.0-2_mips64el.deb | 65.0 KiB | 2019-Jan-13 03:11 |
| libgecode-dev_6.1.0-2_mips64el.deb | 495.7 KiB | 2019-Jan-13 03:11 |
| libgecode48_6.1.0-2_mips64el.deb | 2.1 MiB | 2019-Jan-13 03:11 |
| libgecodeflatzinc48_6.1.0-2_mips64el.deb | 210.8 KiB | 2019-Jan-13 03:11 |
| libgecodegist48_6.1.0-2_mips64el.deb | 161.2 KiB | 2019-Jan-13 03:11 |
| flatzinc_6.1.0-2_mips.deb | 64.7 KiB | 2019-Jan-13 02:41 |
| libgecode-dev_6.1.0-2_mips.deb | 495.7 KiB | 2019-Jan-13 02:41 |
| libgecode48_6.1.0-2_mips.deb | 2.1 MiB | 2019-Jan-13 02:41 |
| libgecodeflatzinc48_6.1.0-2_mips.deb | 206.8 KiB | 2019-Jan-13 02:41 |
| libgecodegist48_6.1.0-2_mips.deb | 156.6 KiB | 2019-Jan-13 02:41 |
| flatzinc_6.1.0-2_mipsel.deb | 64.8 KiB | 2019-Jan-13 01:45 |
| libgecode-dev_6.1.0-2_mipsel.deb | 495.7 KiB | 2019-Jan-13 01:45 |
| libgecode48_6.1.0-2_mipsel.deb | 2.0 MiB | 2019-Jan-13 01:45 |
| libgecodeflatzinc48_6.1.0-2_mipsel.deb | 209.6 KiB | 2019-Jan-13 01:45 |
| libgecodegist48_6.1.0-2_mipsel.deb | 155.0 KiB | 2019-Jan-13 01:45 |
| flatzinc_6.1.0-2_armel.deb | 63.0 KiB | 2019-Jan-13 01:12 |
| libgecode-dev_6.1.0-2_armel.deb | 495.7 KiB | 2019-Jan-13 01:12 |
| libgecode48_6.1.0-2_armel.deb | 2.1 MiB | 2019-Jan-13 01:12 |
| libgecodeflatzinc48_6.1.0-2_armel.deb | 209.9 KiB | 2019-Jan-13 01:12 |
| libgecodegist48_6.1.0-2_armel.deb | 150.0 KiB | 2019-Jan-13 01:12 |
| libgecode48_6.1.0-2_arm64.deb | 2.2 MiB | 2019-Jan-13 00:27 |
| libgecodeflatzinc48_6.1.0-2_arm64.deb | 221.5 KiB | 2019-Jan-13 00:27 |
| libgecodegist48_6.1.0-2_arm64.deb | 159.0 KiB | 2019-Jan-13 00:27 |
| flatzinc_6.1.0-2_arm64.deb | 65.2 KiB | 2019-Jan-13 00:27 |
| libgecode-dev_6.1.0-2_arm64.deb | 495.7 KiB | 2019-Jan-13 00:27 |
| flatzinc_6.1.0-2_armhf.deb | 63.1 KiB | 2019-Jan-13 00:12 |
| libgecode-dev_6.1.0-2_armhf.deb | 495.7 KiB | 2019-Jan-13 00:12 |
| libgecode48_6.1.0-2_armhf.deb | 2.2 MiB | 2019-Jan-13 00:12 |
| libgecodeflatzinc48_6.1.0-2_armhf.deb | 216.8 KiB | 2019-Jan-13 00:12 |
| libgecodegist48_6.1.0-2_armhf.deb | 150.7 KiB | 2019-Jan-13 00:12 |
| flatzinc_6.1.0-2_s390x.deb | 65.0 KiB | 2019-Jan-12 23:57 |
| libgecode-dev_6.1.0-2_s390x.deb | 495.7 KiB | 2019-Jan-12 23:57 |
| libgecode48_6.1.0-2_s390x.deb | 2.3 MiB | 2019-Jan-12 23:57 |
| libgecodeflatzinc48_6.1.0-2_s390x.deb | 220.5 KiB | 2019-Jan-12 23:57 |
| libgecodegist48_6.1.0-2_s390x.deb | 159.7 KiB | 2019-Jan-12 23:57 |
| flatzinc_6.1.0-2_ppc64el.deb | 66.0 KiB | 2019-Jan-12 23:57 |
| libgecode-dev_6.1.0-2_ppc64el.deb | 495.7 KiB | 2019-Jan-12 23:57 |
| libgecode48_6.1.0-2_ppc64el.deb | 2.5 MiB | 2019-Jan-12 23:57 |
| libgecodeflatzinc48_6.1.0-2_ppc64el.deb | 242.2 KiB | 2019-Jan-12 23:57 |
| libgecodegist48_6.1.0-2_ppc64el.deb | 171.1 KiB | 2019-Jan-12 23:57 |
| flatzinc_6.1.0-2_i386.deb | 65.7 KiB | 2019-Jan-12 23:57 |
| libgecode-dev_6.1.0-2_i386.deb | 495.7 KiB | 2019-Jan-12 23:57 |
| libgecode48_6.1.0-2_i386.deb | 2.7 MiB | 2019-Jan-12 23:57 |
| libgecodeflatzinc48_6.1.0-2_i386.deb | 256.6 KiB | 2019-Jan-12 23:57 |
| libgecodegist48_6.1.0-2_i386.deb | 175.2 KiB | 2019-Jan-12 23:57 |
| gecode_6.1.0-2.debian.tar.xz | 15.4 KiB | 2019-Jan-12 22:35 |
| gecode_6.1.0-2.dsc | 2.1 KiB | 2019-Jan-12 22:35 |
| flatzinc_6.1.0-2_amd64.deb | 65.4 KiB | 2019-Jan-12 22:35 |
| libgecode-doc_6.1.0-2_all.deb | 10.4 MiB | 2019-Jan-12 22:35 |
| libgecode-dev_6.1.0-2_amd64.deb | 495.8 KiB | 2019-Jan-12 22:35 |
| libgecode48_6.1.0-2_amd64.deb | 2.6 MiB | 2019-Jan-12 22:35 |
| libgecodeflatzinc48_6.1.0-2_amd64.deb | 245.9 KiB | 2019-Jan-12 22:35 |
| libgecodegist48_6.1.0-2_amd64.deb | 168.9 KiB | 2019-Jan-12 22:35 |
| gecode_6.1.0.orig.tar.gz | 3.3 MiB | 2018-Oct-20 15:07 |
| flatzinc_4.4.0-5_mips64el.deb | 64.2 KiB | 2017-Jun-03 16:11 |
| libgecode-dev_4.4.0-5_mips64el.deb | 494.9 KiB | 2017-Jun-03 16:11 |
| libgecode41v5_4.4.0-5_mips64el.deb | 1.7 MiB | 2017-Jun-03 16:11 |
| libgecodeflatzinc41v5_4.4.0-5_mips64el.deb | 178.7 KiB | 2017-Jun-03 16:11 |
| libgecodegist41v5_4.4.0-5_mips64el.deb | 151.0 KiB | 2017-Jun-03 16:11 |
| flatzinc_4.4.0-5_mipsel.deb | 64.2 KiB | 2017-Jun-03 15:11 |
| libgecode-dev_4.4.0-5_mipsel.deb | 494.8 KiB | 2017-Jun-03 15:11 |
| libgecode41v5_4.4.0-5_mipsel.deb | 1.7 MiB | 2017-Jun-03 15:11 |
| libgecodeflatzinc41v5_4.4.0-5_mipsel.deb | 178.7 KiB | 2017-Jun-03 15:11 |
| libgecodegist41v5_4.4.0-5_mipsel.deb | 145.8 KiB | 2017-Jun-03 15:11 |
| flatzinc_4.4.0-5_mips.deb | 64.1 KiB | 2017-Jun-03 15:11 |
| libgecode-dev_4.4.0-5_mips.deb | 494.8 KiB | 2017-Jun-03 15:11 |
| libgecode41v5_4.4.0-5_mips.deb | 1.7 MiB | 2017-Jun-03 15:11 |
| libgecodeflatzinc41v5_4.4.0-5_mips.deb | 175.8 KiB | 2017-Jun-03 15:11 |
| libgecodegist41v5_4.4.0-5_mips.deb | 147.7 KiB | 2017-Jun-03 15:11 |
| flatzinc_4.4.0-5_armel.deb | 62.8 KiB | 2017-Jun-03 15:11 |
| flatzinc_4.4.0-5_armhf.deb | 62.9 KiB | 2017-Jun-03 15:11 |
| libgecode-dev_4.4.0-5_armel.deb | 494.8 KiB | 2017-Jun-03 15:11 |
| libgecode-dev_4.4.0-5_armhf.deb | 494.8 KiB | 2017-Jun-03 15:11 |
| libgecode41v5_4.4.0-5_armel.deb | 1.7 MiB | 2017-Jun-03 15:11 |
| libgecode41v5_4.4.0-5_armhf.deb | 1.8 MiB | 2017-Jun-03 15:11 |
| libgecodeflatzinc41v5_4.4.0-5_armel.deb | 177.2 KiB | 2017-Jun-03 15:11 |
| libgecodeflatzinc41v5_4.4.0-5_armhf.deb | 181.4 KiB | 2017-Jun-03 15:11 |
| libgecodegist41v5_4.4.0-5_armel.deb | 140.5 KiB | 2017-Jun-03 15:11 |
| libgecodegist41v5_4.4.0-5_armhf.deb | 142.8 KiB | 2017-Jun-03 15:11 |
| flatzinc_4.4.0-5_arm64.deb | 64.3 KiB | 2017-Jun-03 14:41 |
| libgecode-dev_4.4.0-5_arm64.deb | 494.8 KiB | 2017-Jun-03 14:41 |
| libgecode41v5_4.4.0-5_arm64.deb | 1.7 MiB | 2017-Jun-03 14:41 |
| libgecodeflatzinc41v5_4.4.0-5_arm64.deb | 182.8 KiB | 2017-Jun-03 14:41 |
| libgecodegist41v5_4.4.0-5_arm64.deb | 146.9 KiB | 2017-Jun-03 14:41 |
| flatzinc_4.4.0-5_i386.deb | 64.8 KiB | 2017-Jun-03 14:41 |
| libgecode-dev_4.4.0-5_i386.deb | 494.8 KiB | 2017-Jun-03 14:41 |
| libgecode41v5_4.4.0-5_i386.deb | 2.1 MiB | 2017-Jun-03 14:41 |
| libgecodeflatzinc41v5_4.4.0-5_i386.deb | 211.6 KiB | 2017-Jun-03 14:41 |
| libgecodegist41v5_4.4.0-5_i386.deb | 164.3 KiB | 2017-Jun-03 14:41 |
| flatzinc_4.4.0-5_s390x.deb | 64.3 KiB | 2017-Jun-03 14:41 |
| libgecode-dev_4.4.0-5_s390x.deb | 494.8 KiB | 2017-Jun-03 14:41 |
| libgecode41v5_4.4.0-5_s390x.deb | 1.9 MiB | 2017-Jun-03 14:41 |
| libgecodeflatzinc41v5_4.4.0-5_s390x.deb | 190.5 KiB | 2017-Jun-03 14:41 |
| libgecodegist41v5_4.4.0-5_s390x.deb | 151.3 KiB | 2017-Jun-03 14:41 |
| flatzinc_4.4.0-5_ppc64el.deb | 64.6 KiB | 2017-Jun-03 14:26 |
| libgecode-dev_4.4.0-5_ppc64el.deb | 494.8 KiB | 2017-Jun-03 14:26 |
| libgecode41v5_4.4.0-5_ppc64el.deb | 1.8 MiB | 2017-Jun-03 14:26 |
| libgecodeflatzinc41v5_4.4.0-5_ppc64el.deb | 190.9 KiB | 2017-Jun-03 14:26 |
| libgecodegist41v5_4.4.0-5_ppc64el.deb | 153.2 KiB | 2017-Jun-03 14:26 |
| gecode_4.4.0-5.debian.tar.xz | 12.8 KiB | 2017-Jun-03 14:01 |
| gecode_4.4.0-5.dsc | 2.1 KiB | 2017-Jun-03 14:01 |
| flatzinc_4.4.0-5_amd64.deb | 64.5 KiB | 2017-Jun-03 14:01 |
| libgecode-doc_4.4.0-5_all.deb | 8.8 MiB | 2017-Jun-03 14:01 |
| libgecode-dev_4.4.0-5_amd64.deb | 494.8 KiB | 2017-Jun-03 14:01 |
| libgecode41v5_4.4.0-5_amd64.deb | 2.0 MiB | 2017-Jun-03 14:01 |
| libgecodeflatzinc41v5_4.4.0-5_amd64.deb | 201.2 KiB | 2017-Jun-03 14:01 |
| libgecodegist41v5_4.4.0-5_amd64.deb | 155.6 KiB | 2017-Jun-03 14:01 |
| gecode_4.4.0.orig.tar.gz | 2.8 MiB | 2015-May-01 08:21 |
| flatzinc_4.2.1-2_armel.deb | 60.4 KiB | 2014-Sep-17 03:26 |
| libgecode-dev_4.2.1-2_armel.deb | 486.8 KiB | 2014-Sep-17 03:26 |
| libgecode36_4.2.1-2_armel.deb | 1.8 MiB | 2014-Sep-17 03:26 |
| libgecodeflatzinc36_4.2.1-2_armel.deb | 182.0 KiB | 2014-Sep-17 03:26 |
| libgecodegist36_4.2.1-2_armel.deb | 139.9 KiB | 2014-Sep-17 03:26 |
| flatzinc_4.2.1-2_mipsel.deb | 60.5 KiB | 2014-Sep-17 01:15 |
| libgecode-dev_4.2.1-2_mipsel.deb | 483.5 KiB | 2014-Sep-17 01:15 |
| libgecode36_4.2.1-2_mipsel.deb | 1.7 MiB | 2014-Sep-17 01:15 |
| libgecodeflatzinc36_4.2.1-2_mipsel.deb | 176.1 KiB | 2014-Sep-17 01:15 |
| libgecodegist36_4.2.1-2_mipsel.deb | 142.5 KiB | 2014-Sep-17 01:15 |
| flatzinc_4.2.1-2_arm64.deb | 61.5 KiB | 2014-Sep-17 00:55 |
| libgecode-dev_4.2.1-2_arm64.deb | 485.9 KiB | 2014-Sep-17 00:55 |
| libgecode36_4.2.1-2_arm64.deb | 1.7 MiB | 2014-Sep-17 00:55 |
| libgecodeflatzinc36_4.2.1-2_arm64.deb | 190.1 KiB | 2014-Sep-17 00:55 |
| libgecodegist36_4.2.1-2_arm64.deb | 146.8 KiB | 2014-Sep-17 00:55 |
| flatzinc_4.2.1-2_armhf.deb | 59.9 KiB | 2014-Sep-17 00:00 |
| libgecode-dev_4.2.1-2_armhf.deb | 485.7 KiB | 2014-Sep-17 00:00 |
| libgecode36_4.2.1-2_armhf.deb | 1.8 MiB | 2014-Sep-17 00:00 |
| libgecodeflatzinc36_4.2.1-2_armhf.deb | 186.3 KiB | 2014-Sep-17 00:00 |
| libgecodegist36_4.2.1-2_armhf.deb | 140.2 KiB | 2014-Sep-17 00:00 |
| flatzinc_4.2.1-2_mips.deb | 60.5 KiB | 2014-Sep-16 21:58 |
| libgecode-dev_4.2.1-2_mips.deb | 486.8 KiB | 2014-Sep-16 21:58 |
| libgecode36_4.2.1-2_mips.deb | 1.7 MiB | 2014-Sep-16 21:58 |
| libgecodeflatzinc36_4.2.1-2_mips.deb | 173.8 KiB | 2014-Sep-16 21:58 |
| libgecodegist36_4.2.1-2_mips.deb | 144.9 KiB | 2014-Sep-16 21:58 |
| flatzinc_4.2.1-2_ppc64el.deb | 61.1 KiB | 2014-Sep-16 21:28 |
| libgecode-dev_4.2.1-2_ppc64el.deb | 484.2 KiB | 2014-Sep-16 21:28 |
| libgecode36_4.2.1-2_ppc64el.deb | 1.9 MiB | 2014-Sep-16 21:28 |
| libgecodeflatzinc36_4.2.1-2_ppc64el.deb | 197.7 KiB | 2014-Sep-16 21:28 |
| libgecodegist36_4.2.1-2_ppc64el.deb | 154.9 KiB | 2014-Sep-16 21:28 |
| flatzinc_4.2.1-2_kfreebsd-i386.deb | 61.3 KiB | 2014-Sep-16 20:28 |
| libgecode-dev_4.2.1-2_kfreebsd-i386.deb | 483.5 KiB | 2014-Sep-16 20:28 |
| libgecode36_4.2.1-2_kfreebsd-i386.deb | 2.1 MiB | 2014-Sep-16 20:28 |
| libgecodeflatzinc36_4.2.1-2_kfreebsd-i386.deb | 209.6 KiB | 2014-Sep-16 20:28 |
| libgecodegist36_4.2.1-2_kfreebsd-i386.deb | 158.9 KiB | 2014-Sep-16 20:28 |
| flatzinc_4.2.1-2_kfreebsd-amd64.deb | 61.2 KiB | 2014-Sep-16 19:27 |
| libgecode-dev_4.2.1-2_kfreebsd-amd64.deb | 483.5 KiB | 2014-Sep-16 19:27 |
| libgecode36_4.2.1-2_kfreebsd-amd64.deb | 2.0 MiB | 2014-Sep-16 19:27 |
| libgecodeflatzinc36_4.2.1-2_kfreebsd-amd64.deb | 211.9 KiB | 2014-Sep-16 19:27 |
| libgecodegist36_4.2.1-2_kfreebsd-amd64.deb | 155.4 KiB | 2014-Sep-16 19:27 |
| flatzinc_4.2.1-2_s390x.deb | 61.2 KiB | 2014-Sep-16 19:27 |
| libgecode-dev_4.2.1-2_s390x.deb | 487.2 KiB | 2014-Sep-16 19:27 |
| libgecode36_4.2.1-2_s390x.deb | 1.9 MiB | 2014-Sep-16 19:27 |
| libgecodeflatzinc36_4.2.1-2_s390x.deb | 203.0 KiB | 2014-Sep-16 19:27 |
| libgecodegist36_4.2.1-2_s390x.deb | 154.9 KiB | 2014-Sep-16 19:27 |
| flatzinc_4.2.1-2_powerpc.deb | 60.9 KiB | 2014-Sep-16 19:17 |
| libgecode-dev_4.2.1-2_powerpc.deb | 486.8 KiB | 2014-Sep-16 19:17 |
| libgecode36_4.2.1-2_powerpc.deb | 1.8 MiB | 2014-Sep-16 19:17 |
| libgecodeflatzinc36_4.2.1-2_powerpc.deb | 189.5 KiB | 2014-Sep-16 19:17 |
| libgecodegist36_4.2.1-2_powerpc.deb | 149.0 KiB | 2014-Sep-16 19:17 |
| flatzinc_4.2.1-2_i386.deb | 61.3 KiB | 2014-Sep-16 19:12 |
| libgecode-dev_4.2.1-2_i386.deb | 485.5 KiB | 2014-Sep-16 19:12 |
| libgecode36_4.2.1-2_i386.deb | 2.1 MiB | 2014-Sep-16 19:12 |
| libgecodeflatzinc36_4.2.1-2_i386.deb | 209.8 KiB | 2014-Sep-16 19:12 |
| libgecodegist36_4.2.1-2_i386.deb | 159.2 KiB | 2014-Sep-16 19:12 |
| gecode_4.2.1-2.debian.tar.xz | 11.6 KiB | 2014-Sep-16 18:47 |
| gecode_4.2.1-2.dsc | 2.0 KiB | 2014-Sep-16 18:47 |
| flatzinc_4.2.1-2_amd64.deb | 61.2 KiB | 2014-Sep-16 18:47 |
| libgecode-dev_4.2.1-2_amd64.deb | 487.2 KiB | 2014-Sep-16 18:47 |
| libgecode-doc_4.2.1-2_all.deb | 8.6 MiB | 2014-Sep-16 18:47 |
| libgecode36_4.2.1-2_amd64.deb | 2.0 MiB | 2014-Sep-16 18:47 |
| libgecodeflatzinc36_4.2.1-2_amd64.deb | 211.8 KiB | 2014-Sep-16 18:47 |
| libgecodegist36_4.2.1-2_amd64.deb | 155.7 KiB | 2014-Sep-16 18:47 |
| gecode_4.2.1.orig.tar.gz | 1.8 MiB | 2013-Nov-09 19:20 |
| flatzinc_3.7.3-1_sparc.deb | 58.3 KiB | 2012-Apr-28 14:47 |
| libgecode-dev_3.7.3-1_sparc.deb | 517.9 KiB | 2012-Apr-28 14:47 |
| libgecode32_3.7.3-1_sparc.deb | 2.6 MiB | 2012-Apr-28 14:47 |
| libgecodeflatzinc32_3.7.3-1_sparc.deb | 171.8 KiB | 2012-Apr-28 14:47 |
| libgecodegist32_3.7.3-1_sparc.deb | 162.7 KiB | 2012-Apr-28 14:47 |
| flatzinc_3.7.3-1_mipsel.deb | 58.1 KiB | 2012-Apr-05 22:33 |
| libgecode-dev_3.7.3-1_mipsel.deb | 519.4 KiB | 2012-Apr-05 22:33 |
| libgecode32_3.7.3-1_mipsel.deb | 2.4 MiB | 2012-Apr-05 22:33 |
| libgecodeflatzinc32_3.7.3-1_mipsel.deb | 168.0 KiB | 2012-Apr-05 22:33 |
| libgecodegist32_3.7.3-1_mipsel.deb | 159.7 KiB | 2012-Apr-05 22:33 |
| flatzinc_3.7.3-1_ia64.deb | 59.9 KiB | 2012-Apr-01 18:36 |
| libgecode-dev_3.7.3-1_ia64.deb | 507.9 KiB | 2012-Apr-01 18:36 |
| libgecode32_3.7.3-1_ia64.deb | 4.2 MiB | 2012-Apr-01 18:36 |
| libgecodeflatzinc32_3.7.3-1_ia64.deb | 234.4 KiB | 2012-Apr-01 18:36 |
| libgecodegist32_3.7.3-1_ia64.deb | 207.8 KiB | 2012-Apr-01 18:36 |
| flatzinc_3.7.3-1_armel.deb | 59.5 KiB | 2012-Apr-01 06:02 |
| libgecode-dev_3.7.3-1_armel.deb | 521.8 KiB | 2012-Apr-01 06:02 |
| libgecode32_3.7.3-1_armel.deb | 2.6 MiB | 2012-Apr-01 06:02 |
| libgecodeflatzinc32_3.7.3-1_armel.deb | 170.6 KiB | 2012-Apr-01 06:02 |
| libgecodegist32_3.7.3-1_armel.deb | 156.4 KiB | 2012-Apr-01 06:02 |
| flatzinc_3.7.3-1_mips.deb | 58.2 KiB | 2012-Apr-01 04:48 |
| libgecode-dev_3.7.3-1_mips.deb | 519.8 KiB | 2012-Apr-01 04:48 |
| libgecode32_3.7.3-1_mips.deb | 2.6 MiB | 2012-Apr-01 04:48 |
| libgecodeflatzinc32_3.7.3-1_mips.deb | 172.5 KiB | 2012-Apr-01 04:48 |
| libgecodegist32_3.7.3-1_mips.deb | 162.7 KiB | 2012-Apr-01 04:48 |
| flatzinc_3.7.3-1_armhf.deb | 57.3 KiB | 2012-Apr-01 04:48 |
| libgecode-dev_3.7.3-1_armhf.deb | 518.9 KiB | 2012-Apr-01 04:48 |
| libgecode32_3.7.3-1_armhf.deb | 2.3 MiB | 2012-Apr-01 04:48 |
| libgecodeflatzinc32_3.7.3-1_armhf.deb | 159.5 KiB | 2012-Apr-01 04:48 |
| libgecodegist32_3.7.3-1_armhf.deb | 145.5 KiB | 2012-Apr-01 04:48 |
| flatzinc_3.7.3-1_s390.deb | 58.9 KiB | 2012-Apr-01 01:32 |
| libgecode-dev_3.7.3-1_s390.deb | 515.6 KiB | 2012-Apr-01 01:32 |
| libgecode32_3.7.3-1_s390.deb | 2.7 MiB | 2012-Apr-01 01:32 |
| libgecodeflatzinc32_3.7.3-1_s390.deb | 177.0 KiB | 2012-Apr-01 01:32 |
| libgecodegist32_3.7.3-1_s390.deb | 169.1 KiB | 2012-Apr-01 01:32 |
| flatzinc_3.7.3-1_s390x.deb | 59.3 KiB | 2012-Apr-01 01:03 |
| libgecode-dev_3.7.3-1_s390x.deb | 517.3 KiB | 2012-Apr-01 01:03 |
| libgecode32_3.7.3-1_s390x.deb | 3.2 MiB | 2012-Apr-01 01:03 |
| libgecodeflatzinc32_3.7.3-1_s390x.deb | 189.2 KiB | 2012-Apr-01 01:03 |
| libgecodegist32_3.7.3-1_s390x.deb | 175.1 KiB | 2012-Apr-01 01:03 |
| flatzinc_3.7.3-1_kfreebsd-i386.deb | 58.9 KiB | 2012-Apr-01 01:03 |
| libgecode-dev_3.7.3-1_kfreebsd-i386.deb | 507.9 KiB | 2012-Apr-01 01:03 |
| libgecode32_3.7.3-1_kfreebsd-i386.deb | 2.8 MiB | 2012-Apr-01 01:03 |
| libgecodeflatzinc32_3.7.3-1_kfreebsd-i386.deb | 180.0 KiB | 2012-Apr-01 01:03 |
| libgecodegist32_3.7.3-1_kfreebsd-i386.deb | 169.3 KiB | 2012-Apr-01 01:03 |
| flatzinc_3.7.3-1_kfreebsd-amd64.deb | 58.7 KiB | 2012-Apr-01 01:03 |
| libgecode-dev_3.7.3-1_kfreebsd-amd64.deb | 507.9 KiB | 2012-Apr-01 01:03 |
| libgecode32_3.7.3-1_kfreebsd-amd64.deb | 2.8 MiB | 2012-Apr-01 01:03 |
| libgecodeflatzinc32_3.7.3-1_kfreebsd-amd64.deb | 184.8 KiB | 2012-Apr-01 01:03 |
| libgecodegist32_3.7.3-1_kfreebsd-amd64.deb | 168.6 KiB | 2012-Apr-01 01:03 |
| flatzinc_3.7.3-1_i386.deb | 57.5 KiB | 2012-Apr-01 01:02 |
| libgecode-dev_3.7.3-1_i386.deb | 518.4 KiB | 2012-Apr-01 01:02 |
| libgecode32_3.7.3-1_i386.deb | 2.8 MiB | 2012-Apr-01 01:02 |
| libgecodeflatzinc32_3.7.3-1_i386.deb | 180.2 KiB | 2012-Apr-01 01:02 |
| libgecodegist32_3.7.3-1_i386.deb | 168.5 KiB | 2012-Apr-01 01:02 |
| flatzinc_3.7.3-1_powerpc.deb | 58.6 KiB | 2012-Apr-01 00:48 |
| libgecode-dev_3.7.3-1_powerpc.deb | 518.9 KiB | 2012-Apr-01 00:48 |
| libgecode32_3.7.3-1_powerpc.deb | 2.7 MiB | 2012-Apr-01 00:48 |
| libgecodeflatzinc32_3.7.3-1_powerpc.deb | 182.1 KiB | 2012-Apr-01 00:48 |
| libgecodegist32_3.7.3-1_powerpc.deb | 171.6 KiB | 2012-Apr-01 00:48 |
| flatzinc_3.7.3-1_amd64.deb | 58.2 KiB | 2012-Apr-01 00:03 |
| gecode_3.7.3-1.debian.tar.gz | 10.9 KiB | 2012-Apr-01 00:03 |
| gecode_3.7.3-1.dsc | 1.4 KiB | 2012-Apr-01 00:03 |
| gecode_3.7.3.orig.tar.gz | 1.6 MiB | 2012-Apr-01 00:03 |
| libgecode-dev_3.7.3-1_amd64.deb | 521.2 KiB | 2012-Apr-01 00:03 |
| libgecode-doc_3.7.3-1_all.deb | 11.2 MiB | 2012-Apr-01 00:03 |
| libgecode32_3.7.3-1_amd64.deb | 2.8 MiB | 2012-Apr-01 00:03 |
| libgecodeflatzinc32_3.7.3-1_amd64.deb | 184.5 KiB | 2012-Apr-01 00:03 |
| libgecodegist32_3.7.3-1_amd64.deb | 168.6 KiB | 2012-Apr-01 00:03 |
| libgecode-dev_3.4.0-1_kfreebsd-amd64.deb | 739.3 KiB | 2010-Jul-29 22:33 |
| libgecode23_3.4.0-1_kfreebsd-amd64.deb | 2.8 MiB | 2010-Jul-29 22:33 |
| libgecode-dev_3.4.0-1_amd64.deb | 746.3 KiB | 2010-Jul-29 00:32 |
| libgecode23_3.4.0-1_amd64.deb | 2.8 MiB | 2010-Jul-29 00:32 |
| libgecode-dev_3.4.0-1_mipsel.deb | 738.6 KiB | 2010-Jul-28 23:33 |
| libgecode23_3.4.0-1_mipsel.deb | 2.6 MiB | 2010-Jul-28 23:33 |
| libgecode-dev_3.4.0-1_mips.deb | 747.8 KiB | 2010-Jul-28 23:33 |
| libgecode23_3.4.0-1_mips.deb | 2.7 MiB | 2010-Jul-28 23:33 |
| libgecode-dev_3.4.0-1_ia64.deb | 749.7 KiB | 2010-Jul-28 23:33 |
| libgecode23_3.4.0-1_ia64.deb | 4.3 MiB | 2010-Jul-28 23:33 |
| libgecode-dev_3.4.0-1_armel.deb | 746.4 KiB | 2010-Jul-28 21:33 |
| libgecode23_3.4.0-1_armel.deb | 2.6 MiB | 2010-Jul-28 21:33 |
| libgecode-dev_3.4.0-1_s390.deb | 739.5 KiB | 2010-Jul-28 15:48 |
| libgecode23_3.4.0-1_s390.deb | 2.7 MiB | 2010-Jul-28 15:48 |
| libgecode-dev_3.4.0-1_kfreebsd-i386.deb | 739.5 KiB | 2010-Jul-28 13:32 |
| libgecode23_3.4.0-1_kfreebsd-i386.deb | 2.8 MiB | 2010-Jul-28 13:32 |
| libgecode-dev_3.4.0-1_sparc.deb | 747.2 KiB | 2010-Jul-28 13:17 |
| libgecode23_3.4.0-1_sparc.deb | 2.7 MiB | 2010-Jul-28 13:17 |
| libgecode-dev_3.4.0-1_powerpc.deb | 750.0 KiB | 2010-Jul-28 13:02 |
| libgecode23_3.4.0-1_powerpc.deb | 2.8 MiB | 2010-Jul-28 13:02 |
| gecode_3.4.0-1.debian.tar.gz | 10.4 KiB | 2010-Jul-28 11:32 |
| gecode_3.4.0-1.dsc | 1.1 KiB | 2010-Jul-28 11:32 |
| gecode_3.4.0.orig.tar.gz | 1.3 MiB | 2010-Jul-28 11:32 |
| libgecode-dev_3.4.0-1_i386.deb | 746.8 KiB | 2010-Jul-28 11:32 |
| libgecode23_3.4.0-1_i386.deb | 2.9 MiB | 2010-Jul-28 11:32 |
| libgecode-doc_3.4.0-1_all.deb | 10.0 MiB | 2010-Jul-28 11:32 |
| libgecode12-dev_2.1.1-1_mipsel.deb | 3.8 MiB | 2008-May-26 15:17 |
| libgecode12_2.1.1-1_mipsel.deb | 1.5 MiB | 2008-May-26 15:17 |
| libgecode12-dev_2.1.1-1_hppa.deb | 4.8 MiB | 2008-Apr-10 19:17 |
| libgecode12_2.1.1-1_hppa.deb | 2.4 MiB | 2008-Apr-10 19:17 |
| libgecode12-dev_2.1.1-1_armel.deb | 3.7 MiB | 2008-Apr-05 14:47 |
| libgecode12_2.1.1-1_armel.deb | 1.5 MiB | 2008-Apr-05 14:47 |
| libgecode12-dev_2.1.1-1_mips.deb | 3.9 MiB | 2008-Mar-31 17:02 |
| libgecode12_2.1.1-1_mips.deb | 1.5 MiB | 2008-Mar-31 17:02 |
| libgecode12_2.1.1-1_arm.deb | 2.5 MiB | 2008-Mar-25 12:32 |
| libgecode12-dev_2.1.1-1_arm.deb | 4.8 MiB | 2008-Mar-25 12:32 |
| libgecode12-dev_2.1.1-1_powerpc.deb | 4.2 MiB | 2008-Mar-24 23:47 |
| libgecode12_2.1.1-1_powerpc.deb | 2.2 MiB | 2008-Mar-24 23:47 |
| libgecode12-dev_2.1.1-1_ia64.deb | 6.5 MiB | 2008-Mar-24 19:17 |
| libgecode12_2.1.1-1_ia64.deb | 3.4 MiB | 2008-Mar-24 19:17 |
| libgecode12-dev_2.1.1-1_sparc.deb | 3.8 MiB | 2008-Mar-24 18:47 |
| libgecode12_2.1.1-1_sparc.deb | 2.5 MiB | 2008-Mar-24 18:47 |
| libgecode12-dev_2.1.1-1_s390.deb | 4.3 MiB | 2008-Mar-24 15:32 |
| libgecode12_2.1.1-1_s390.deb | 2.0 MiB | 2008-Mar-24 15:32 |
| libgecode12-dev_2.1.1-1_amd64.deb | 4.3 MiB | 2008-Mar-24 11:32 |
| libgecode12_2.1.1-1_amd64.deb | 2.2 MiB | 2008-Mar-24 11:32 |
| libgecode12-dev_2.1.1-1_alpha.deb | 5.6 MiB | 2008-Mar-24 05:32 |
| libgecode12_2.1.1-1_alpha.deb | 2.4 MiB | 2008-Mar-24 05:32 |
| gecode_2.1.1-1.diff.gz | 28.7 KiB | 2008-Mar-19 06:47 |
| gecode_2.1.1-1.dsc | 702 B | 2008-Mar-19 06:47 |
| gecode_2.1.1.orig.tar.gz | 965.0 KiB | 2008-Mar-19 06:47 |
| libgecode12-dev_2.1.1-1_i386.deb | 4.2 MiB | 2008-Mar-19 06:47 |
| libgecode12_2.1.1-1_i386.deb | 2.2 MiB | 2008-Mar-19 06:47 |
| libgecode-doc_2.1.1-1_all.deb | 7.5 MiB | 2008-Mar-19 06:47 |
| libgecode7-dev_1.3.1-1+b1_sparc.deb | 2.1 MiB | 2007-Feb-21 15:32 |
| libgecode8_1.3.1-1+b1_sparc.deb | 1.5 MiB | 2007-Feb-21 15:32 |
| libgecode7-dev_1.3.1-1_m68k.deb | 2.2 MiB | 2006-Nov-09 14:32 |
| libgecode8_1.3.1-1_m68k.deb | 1.1 MiB | 2006-Nov-09 14:32 |
| libgecode7-dev_1.3.1-1_arm.deb | 2.5 MiB | 2006-Nov-07 01:34 |
| libgecode8_1.3.1-1_arm.deb | 1.4 MiB | 2006-Nov-07 01:34 |
| libgecode7-dev_1.3.1-1_powerpc.deb | 2.3 MiB | 2006-Nov-06 20:04 |
| libgecode8_1.3.1-1_powerpc.deb | 1.2 MiB | 2006-Nov-06 20:04 |
| libgecode7-dev_1.3.1-1_ia64.deb | 3.4 MiB | 2006-Nov-06 20:04 |
| libgecode8_1.3.1-1_ia64.deb | 1.9 MiB | 2006-Nov-06 20:04 |
| libgecode7-dev_1.3.1-1_hppa.deb | 2.5 MiB | 2006-Nov-06 20:04 |
| libgecode8_1.3.1-1_hppa.deb | 1.3 MiB | 2006-Nov-06 20:04 |
| libgecode7-dev_1.3.1-1_alpha.deb | 2.7 MiB | 2006-Nov-06 19:50 |
| libgecode8_1.3.1-1_alpha.deb | 1.3 MiB | 2006-Nov-06 19:50 |
| libgecode7-dev_1.3.1-1_mipsel.deb | 2.4 MiB | 2006-Nov-06 19:33 |
| libgecode8_1.3.1-1_mipsel.deb | 1.3 MiB | 2006-Nov-06 19:33 |
| libgecode7-dev_1.3.1-1_mips.deb | 2.4 MiB | 2006-Nov-06 19:33 |
| libgecode8_1.3.1-1_mips.deb | 1.3 MiB | 2006-Nov-06 19:33 |
| libgecode7-dev_1.3.1-1_amd64.deb | 2.3 MiB | 2006-Nov-06 00:33 |
| libgecode8_1.3.1-1_amd64.deb | 1.2 MiB | 2006-Nov-06 00:33 |
| libgecode7-dev_1.3.1-1_s390.deb | 2.3 MiB | 2006-Nov-05 19:02 |
| libgecode8_1.3.1-1_s390.deb | 1.2 MiB | 2006-Nov-05 19:02 |
| gecode_1.3.1-1.dsc | 639 B | 2006-Oct-26 14:17 |
| libgecode-doc_1.3.1-1_all.deb | 3.8 MiB | 2006-Oct-26 14:17 |
| gecode_1.3.1-1.diff.gz | 27.4 KiB | 2006-Oct-26 14:17 |
| gecode_1.3.1.orig.tar.gz | 877.7 KiB | 2006-Oct-26 14:17 |
| libgecode7-dev_1.3.1-1_i386.deb | 2.4 MiB | 2006-Oct-26 14:17 |
| libgecode8_1.3.1-1_i386.deb | 1.4 MiB | 2006-Oct-26 14:17 |