| Parent directory/ | - | - |
| flatzinc_6.2.0-5_armhf.deb | 72.5 KiB | 2020-Aug-09 06:58 |
| libgecodeflatzinc49_6.2.0-5_armhf.deb | 224.7 KiB | 2020-Aug-09 06:58 |
| libgecode49_6.2.0-5_armhf.deb | 2.2 MiB | 2020-Aug-09 06:58 |
| libgecodegist49_6.2.0-5_armhf.deb | 151.0 KiB | 2020-Aug-09 06:58 |
| libgecode-dev_6.2.0-5_armhf.deb | 500.7 KiB | 2020-Aug-09 06:58 |
| libgecode49_6.2.0-5_arm64.deb | 2.3 MiB | 2020-Aug-09 06:58 |
| libgecodegist49_6.2.0-5_arm64.deb | 157.3 KiB | 2020-Aug-09 06:58 |
| flatzinc_6.2.0-5_arm64.deb | 74.2 KiB | 2020-Aug-09 06:58 |
| libgecode-dev_6.2.0-5_arm64.deb | 500.7 KiB | 2020-Aug-09 06:58 |
| libgecodeflatzinc49_6.2.0-5_arm64.deb | 230.7 KiB | 2020-Aug-09 06:58 |
| libgecodeflatzinc49_6.2.0-5_armel.deb | 220.6 KiB | 2020-Aug-09 06:58 |
| flatzinc_6.2.0-5_armel.deb | 72.3 KiB | 2020-Aug-09 06:58 |
| libgecode-dev_6.2.0-5_armel.deb | 500.7 KiB | 2020-Aug-09 06:58 |
| libgecodegist49_6.2.0-5_armel.deb | 149.8 KiB | 2020-Aug-09 06:58 |
| libgecode49_6.2.0-5_armel.deb | 2.1 MiB | 2020-Aug-09 06:58 |
| libgecode49_6.2.0-5_amd64.deb | 2.7 MiB | 2020-Aug-09 06:43 |
| libgecodegist49_6.2.0-5_amd64.deb | 166.3 KiB | 2020-Aug-09 06:43 |
| libgecodeflatzinc49_6.2.0-5_amd64.deb | 257.6 KiB | 2020-Aug-09 06:43 |
| flatzinc_6.2.0-5_amd64.deb | 74.4 KiB | 2020-Aug-09 06:43 |
| libgecode-dev_6.2.0-5_amd64.deb | 500.7 KiB | 2020-Aug-09 06:43 |
| libgecode-doc_6.2.0-5_all.deb | 10.6 MiB | 2020-Aug-09 06:38 |
| libgecodegist49_6.2.0-5_i386.deb | 173.1 KiB | 2020-Aug-09 06:38 |
| libgecodeflatzinc49_6.2.0-5_i386.deb | 267.8 KiB | 2020-Aug-09 06:38 |
| libgecode49_6.2.0-5_i386.deb | 2.8 MiB | 2020-Aug-09 06:38 |
| libgecode-dev_6.2.0-5_i386.deb | 500.7 KiB | 2020-Aug-09 06:38 |
| flatzinc_6.2.0-5_i386.deb | 74.7 KiB | 2020-Aug-09 06:38 |
| gecode_6.2.0-5.dsc | 2.1 KiB | 2020-Aug-09 06:13 |
| gecode_6.2.0-5.debian.tar.xz | 16.1 KiB | 2020-Aug-09 06:13 |
| libgecode49_6.2.0-3_armel.deb | 2.1 MiB | 2020-Jan-10 19:44 |
| flatzinc_6.2.0-3_armel.deb | 71.9 KiB | 2020-Jan-10 19:44 |
| libgecodeflatzinc49_6.2.0-3_armel.deb | 226.3 KiB | 2020-Jan-10 19:44 |
| libgecode-dev_6.2.0-3_armel.deb | 500.3 KiB | 2020-Jan-10 19:44 |
| libgecodegist49_6.2.0-3_armel.deb | 149.8 KiB | 2020-Jan-10 19:44 |
| libgecode-dev_6.2.0-3_amd64.deb | 500.3 KiB | 2020-Jan-10 18:28 |
| libgecode49_6.2.0-3_amd64.deb | 2.6 MiB | 2020-Jan-10 18:28 |
| flatzinc_6.2.0-3_amd64.deb | 74.2 KiB | 2020-Jan-10 18:28 |
| libgecodeflatzinc49_6.2.0-3_amd64.deb | 260.7 KiB | 2020-Jan-10 18:28 |
| libgecodegist49_6.2.0-3_amd64.deb | 167.7 KiB | 2020-Jan-10 18:28 |
| libgecodegist49_6.2.0-3_i386.deb | 173.9 KiB | 2020-Jan-10 17:27 |
| libgecodeflatzinc49_6.2.0-3_i386.deb | 270.2 KiB | 2020-Jan-10 17:27 |
| libgecode49_6.2.0-3_i386.deb | 2.7 MiB | 2020-Jan-10 17:27 |
| libgecode-dev_6.2.0-3_i386.deb | 500.3 KiB | 2020-Jan-10 17:27 |
| flatzinc_6.2.0-3_i386.deb | 74.5 KiB | 2020-Jan-10 17:27 |
| libgecode-doc_6.2.0-3_all.deb | 10.6 MiB | 2020-Jan-10 16:56 |
| libgecodeflatzinc49_6.2.0-3_armhf.deb | 233.1 KiB | 2020-Jan-10 16:41 |
| libgecode-dev_6.2.0-3_armhf.deb | 500.3 KiB | 2020-Jan-10 16:41 |
| libgecodegist49_6.2.0-3_armhf.deb | 151.5 KiB | 2020-Jan-10 16:41 |
| flatzinc_6.2.0-3_armhf.deb | 72.0 KiB | 2020-Jan-10 16:41 |
| libgecode49_6.2.0-3_armhf.deb | 2.3 MiB | 2020-Jan-10 16:41 |
| libgecode49_6.2.0-3_arm64.deb | 2.3 MiB | 2020-Jan-10 15:58 |
| libgecodeflatzinc49_6.2.0-3_arm64.deb | 232.3 KiB | 2020-Jan-10 15:58 |
| libgecodegist49_6.2.0-3_arm64.deb | 157.3 KiB | 2020-Jan-10 15:58 |
| flatzinc_6.2.0-3_arm64.deb | 74.0 KiB | 2020-Jan-10 15:58 |
| libgecode-dev_6.2.0-3_arm64.deb | 500.3 KiB | 2020-Jan-10 15:58 |
| gecode_6.2.0-3.debian.tar.xz | 15.8 KiB | 2020-Jan-10 13:40 |
| gecode_6.2.0-3.dsc | 2.1 KiB | 2020-Jan-10 13:40 |
| gecode_6.2.0.orig.tar.gz | 3.5 MiB | 2019-Dec-16 19:01 |
| flatzinc_6.1.0-2+b1_amd64.deb | 65.5 KiB | 2019-Aug-24 09:14 |
| libgecodegist48_6.1.0-2+b1_amd64.deb | 166.5 KiB | 2019-Aug-24 09:14 |
| libgecodeflatzinc48_6.1.0-2+b1_amd64.deb | 258.0 KiB | 2019-Aug-24 09:14 |
| libgecode48_6.1.0-2+b1_amd64.deb | 2.5 MiB | 2019-Aug-24 09:14 |
| libgecode-dev_6.1.0-2+b1_amd64.deb | 496.0 KiB | 2019-Aug-24 09:14 |
| libgecode-dev_6.1.0-2_i386.deb | 495.7 KiB | 2019-Jan-18 12:04 |
| libgecodegist48_6.1.0-2_i386.deb | 175.2 KiB | 2019-Jan-18 12:04 |
| libgecode48_6.1.0-2_i386.deb | 2.7 MiB | 2019-Jan-18 12:04 |
| libgecodeflatzinc48_6.1.0-2_i386.deb | 256.6 KiB | 2019-Jan-18 12:04 |
| flatzinc_6.1.0-2_i386.deb | 65.7 KiB | 2019-Jan-18 12:04 |
| libgecodegist48_6.1.0-2_amd64.deb | 168.9 KiB | 2019-Jan-18 12:03 |
| libgecodeflatzinc48_6.1.0-2_amd64.deb | 245.9 KiB | 2019-Jan-18 12:03 |
| libgecode-dev_6.1.0-2_amd64.deb | 495.8 KiB | 2019-Jan-18 12:03 |
| libgecode48_6.1.0-2_amd64.deb | 2.6 MiB | 2019-Jan-18 12:03 |
| flatzinc_6.1.0-2_amd64.deb | 65.4 KiB | 2019-Jan-18 12:03 |
| libgecodegist48_6.1.0-2_armel.deb | 150.0 KiB | 2019-Jan-18 12:03 |
| libgecode48_6.1.0-2_armel.deb | 2.1 MiB | 2019-Jan-18 12:03 |
| libgecodeflatzinc48_6.1.0-2_armel.deb | 209.9 KiB | 2019-Jan-18 12:03 |
| libgecode-dev_6.1.0-2_armel.deb | 495.7 KiB | 2019-Jan-18 12:03 |
| flatzinc_6.1.0-2_armel.deb | 63.0 KiB | 2019-Jan-18 12:03 |
| libgecode-dev_6.1.0-2_armhf.deb | 495.7 KiB | 2019-Jan-18 12:03 |
| libgecode48_6.1.0-2_armhf.deb | 2.2 MiB | 2019-Jan-18 12:03 |
| libgecodegist48_6.1.0-2_armhf.deb | 150.7 KiB | 2019-Jan-18 12:03 |
| libgecodeflatzinc48_6.1.0-2_armhf.deb | 216.8 KiB | 2019-Jan-18 12:03 |
| flatzinc_6.1.0-2_armhf.deb | 63.1 KiB | 2019-Jan-18 12:03 |
| libgecode-doc_6.1.0-2_all.deb | 10.4 MiB | 2019-Jan-18 12:02 |
| libgecode-dev_6.1.0-2_arm64.deb | 495.7 KiB | 2019-Jan-18 12:02 |
| libgecodegist48_6.1.0-2_arm64.deb | 159.0 KiB | 2019-Jan-18 12:02 |
| libgecodeflatzinc48_6.1.0-2_arm64.deb | 221.5 KiB | 2019-Jan-18 12:02 |
| libgecode48_6.1.0-2_arm64.deb | 2.2 MiB | 2019-Jan-18 12:02 |
| flatzinc_6.1.0-2_arm64.deb | 65.2 KiB | 2019-Jan-18 12:02 |
| gecode_6.1.0.orig.tar.gz | 3.3 MiB | 2019-Jan-18 12:02 |
| gecode_6.1.0-2.debian.tar.xz | 15.4 KiB | 2019-Jan-18 12:02 |
| gecode_6.1.0-2.dsc | 2.1 KiB | 2019-Jan-18 12:02 |
| libgecodeflatzinc47_6.0.1-1_i386.deb | 250.2 KiB | 2018-Jun-08 06:01 |
| libgecode-dev_6.0.1-1_i386.deb | 488.0 KiB | 2018-Jun-08 06:01 |
| flatzinc_6.0.1-1_i386.deb | 64.4 KiB | 2018-Jun-08 06:01 |
| libgecodegist47_6.0.1-1_i386.deb | 172.5 KiB | 2018-Jun-08 06:01 |
| libgecode47_6.0.1-1_i386.deb | 2.5 MiB | 2018-Jun-08 06:01 |
| libgecodeflatzinc47_6.0.1-1_amd64.deb | 239.0 KiB | 2018-Jun-08 06:01 |
| libgecode47_6.0.1-1_amd64.deb | 2.4 MiB | 2018-Jun-08 06:01 |
| libgecodegist47_6.0.1-1_amd64.deb | 166.3 KiB | 2018-Jun-08 06:01 |
| libgecode-dev_6.0.1-1_amd64.deb | 488.0 KiB | 2018-Jun-08 06:01 |
| flatzinc_6.0.1-1_amd64.deb | 64.3 KiB | 2018-Jun-08 06:01 |
| libgecodegist47_6.0.1-1_armel.deb | 148.8 KiB | 2018-Jun-08 06:01 |
| libgecode47_6.0.1-1_armel.deb | 1.9 MiB | 2018-Jun-08 06:01 |
| libgecodeflatzinc47_6.0.1-1_armel.deb | 207.0 KiB | 2018-Jun-08 06:01 |
| libgecode-dev_6.0.1-1_armel.deb | 488.0 KiB | 2018-Jun-08 06:01 |
| flatzinc_6.0.1-1_armel.deb | 62.0 KiB | 2018-Jun-08 06:01 |
| libgecode47_6.0.1-1_armhf.deb | 2.0 MiB | 2018-Jun-08 06:01 |
| libgecode-dev_6.0.1-1_armhf.deb | 488.0 KiB | 2018-Jun-08 06:01 |
| libgecodegist47_6.0.1-1_armhf.deb | 150.3 KiB | 2018-Jun-08 06:01 |
| libgecodeflatzinc47_6.0.1-1_armhf.deb | 212.2 KiB | 2018-Jun-08 06:01 |
| flatzinc_6.0.1-1_armhf.deb | 62.1 KiB | 2018-Jun-08 06:01 |
| libgecodegist47_6.0.1-1_arm64.deb | 158.6 KiB | 2018-Jun-08 06:01 |
| libgecodeflatzinc47_6.0.1-1_arm64.deb | 223.4 KiB | 2018-Jun-08 06:01 |
| libgecode47_6.0.1-1_arm64.deb | 2.2 MiB | 2018-Jun-08 06:01 |
| libgecode-doc_6.0.1-1_all.deb | 10.2 MiB | 2018-Jun-08 06:01 |
| libgecode-dev_6.0.1-1_arm64.deb | 488.0 KiB | 2018-Jun-08 06:01 |
| flatzinc_6.0.1-1_arm64.deb | 64.2 KiB | 2018-Jun-08 06:01 |
| gecode_6.0.1-1.debian.tar.xz | 14.8 KiB | 2018-Jun-08 06:00 |
| gecode_6.0.1-1.dsc | 2.1 KiB | 2018-Jun-08 06:00 |
| gecode_6.0.1.orig.tar.gz | 3.1 MiB | 2018-Jun-08 06:00 |
| flatzinc_5.1.0-2+b1_armhf.deb | 60.2 KiB | 2018-Jan-25 14:43 |
| libgecode-dev_5.1.0-2+b1_armhf.deb | 474.3 KiB | 2018-Jan-25 14:43 |
| libgecodegist44_5.1.0-2+b1_armhf.deb | 148.1 KiB | 2018-Jan-25 14:43 |
| libgecode44_5.1.0-2+b1_armhf.deb | 1.9 MiB | 2018-Jan-25 14:43 |
| libgecodeflatzinc44_5.1.0-2+b1_armhf.deb | 200.0 KiB | 2018-Jan-25 14:43 |
| libgecode-dev_5.1.0-2+b1_armel.deb | 474.2 KiB | 2018-Jan-24 22:43 |
| flatzinc_5.1.0-2+b1_armel.deb | 60.1 KiB | 2018-Jan-24 22:43 |
| libgecode44_5.1.0-2+b1_armel.deb | 1.8 MiB | 2018-Jan-24 22:43 |
| libgecodegist44_5.1.0-2+b1_armel.deb | 146.4 KiB | 2018-Jan-24 22:43 |
| libgecodeflatzinc44_5.1.0-2+b1_armel.deb | 195.0 KiB | 2018-Jan-24 22:43 |
| libgecodeflatzinc44_5.1.0-2+b1_i386.deb | 235.3 KiB | 2018-Jan-24 17:12 |
| flatzinc_5.1.0-2+b1_i386.deb | 62.1 KiB | 2018-Jan-24 17:12 |
| libgecodegist44_5.1.0-2+b1_i386.deb | 170.0 KiB | 2018-Jan-24 17:12 |
| libgecode-dev_5.1.0-2+b1_i386.deb | 474.2 KiB | 2018-Jan-24 17:12 |
| libgecode44_5.1.0-2+b1_i386.deb | 2.4 MiB | 2018-Jan-24 17:12 |
| libgecode-dev_5.1.0-2+b1_amd64.deb | 474.2 KiB | 2018-Jan-24 13:28 |
| libgecodegist44_5.1.0-2+b1_amd64.deb | 164.0 KiB | 2018-Jan-24 13:28 |
| flatzinc_5.1.0-2+b1_amd64.deb | 62.0 KiB | 2018-Jan-24 13:28 |
| libgecode44_5.1.0-2+b1_amd64.deb | 2.3 MiB | 2018-Jan-24 13:28 |
| libgecodeflatzinc44_5.1.0-2+b1_amd64.deb | 223.7 KiB | 2018-Jan-24 13:28 |
| flatzinc_5.1.0-2+b1_arm64.deb | 61.9 KiB | 2018-Jan-24 12:26 |
| libgecodegist44_5.1.0-2+b1_arm64.deb | 156.1 KiB | 2018-Jan-24 12:26 |
| libgecode-dev_5.1.0-2+b1_arm64.deb | 474.3 KiB | 2018-Jan-24 12:26 |
| libgecodeflatzinc44_5.1.0-2+b1_arm64.deb | 210.0 KiB | 2018-Jan-24 12:26 |
| libgecode44_5.1.0-2+b1_arm64.deb | 2.1 MiB | 2018-Jan-24 12:26 |
| libgecode-dev_5.1.0-2_armel.deb | 475.7 KiB | 2017-Jul-29 14:40 |
| libgecode44_5.1.0-2_armhf.deb | 1.9 MiB | 2017-Jul-29 14:40 |
| libgecodeflatzinc44_5.1.0-2_armel.deb | 197.2 KiB | 2017-Jul-29 14:40 |
| libgecodeflatzinc44_5.1.0-2_armhf.deb | 202.6 KiB | 2017-Jul-29 14:40 |
| flatzinc_5.1.0-2_armel.deb | 59.7 KiB | 2017-Jul-29 14:40 |
| libgecode44_5.1.0-2_armel.deb | 1.8 MiB | 2017-Jul-29 14:40 |
| libgecodegist44_5.1.0-2_armel.deb | 145.8 KiB | 2017-Jul-29 14:40 |
| flatzinc_5.1.0-2_armhf.deb | 59.9 KiB | 2017-Jul-29 14:40 |
| libgecode-dev_5.1.0-2_armhf.deb | 475.7 KiB | 2017-Jul-29 14:40 |
| libgecodegist44_5.1.0-2_armhf.deb | 148.0 KiB | 2017-Jul-29 14:40 |
| libgecodeflatzinc44_5.1.0-2_i386.deb | 236.1 KiB | 2017-Jul-29 14:10 |
| libgecode44_5.1.0-2_i386.deb | 2.4 MiB | 2017-Jul-29 14:10 |
| libgecodegist44_5.1.0-2_i386.deb | 170.2 KiB | 2017-Jul-29 14:10 |
| flatzinc_5.1.0-2_i386.deb | 61.9 KiB | 2017-Jul-29 14:10 |
| libgecode44_5.1.0-2_arm64.deb | 2.0 MiB | 2017-Jul-29 14:10 |
| flatzinc_5.1.0-2_arm64.deb | 61.4 KiB | 2017-Jul-29 14:10 |
| libgecodegist44_5.1.0-2_arm64.deb | 152.3 KiB | 2017-Jul-29 14:10 |
| libgecode-dev_5.1.0-2_arm64.deb | 475.7 KiB | 2017-Jul-29 14:10 |
| libgecodeflatzinc44_5.1.0-2_arm64.deb | 203.4 KiB | 2017-Jul-29 14:10 |
| libgecode-dev_5.1.0-2_i386.deb | 475.7 KiB | 2017-Jul-29 14:10 |
| libgecodegist44_5.1.0-2_amd64.deb | 161.4 KiB | 2017-Jul-29 13:25 |
| libgecode-doc_5.1.0-2_all.deb | 10.1 MiB | 2017-Jul-29 13:25 |
| libgecode44_5.1.0-2_amd64.deb | 2.3 MiB | 2017-Jul-29 13:25 |
| libgecodeflatzinc44_5.1.0-2_amd64.deb | 223.5 KiB | 2017-Jul-29 13:25 |
| gecode_5.1.0-2.dsc | 2.1 KiB | 2017-Jul-29 13:25 |
| flatzinc_5.1.0-2_amd64.deb | 61.6 KiB | 2017-Jul-29 13:25 |
| gecode_5.1.0-2.debian.tar.xz | 14.0 KiB | 2017-Jul-29 13:25 |
| libgecode-dev_5.1.0-2_amd64.deb | 475.8 KiB | 2017-Jul-29 13:25 |
| gecode_5.1.0.orig.tar.gz | 3.1 MiB | 2017-Jul-18 19:50 |
| libgecode-dev_4.2.1-2_armel.deb | 486.8 KiB | 2014-Sep-17 02:26 |
| libgecode36_4.2.1-2_armel.deb | 1.8 MiB | 2014-Sep-17 02:26 |
| flatzinc_4.2.1-2_armel.deb | 60.4 KiB | 2014-Sep-17 02:26 |
| libgecodeflatzinc36_4.2.1-2_armel.deb | 182.0 KiB | 2014-Sep-17 02:26 |
| libgecodegist36_4.2.1-2_armel.deb | 139.9 KiB | 2014-Sep-17 02:26 |
| libgecodegist36_4.2.1-2_armhf.deb | 140.2 KiB | 2014-Sep-16 23:00 |
| flatzinc_4.2.1-2_armhf.deb | 59.9 KiB | 2014-Sep-16 23:00 |
| libgecodeflatzinc36_4.2.1-2_armhf.deb | 186.3 KiB | 2014-Sep-16 23:00 |
| libgecode36_4.2.1-2_armhf.deb | 1.8 MiB | 2014-Sep-16 23:00 |
| libgecode-dev_4.2.1-2_armhf.deb | 485.7 KiB | 2014-Sep-16 23:00 |
| libgecode36_4.2.1-2_i386.deb | 2.1 MiB | 2014-Sep-16 18:12 |
| libgecodegist36_4.2.1-2_i386.deb | 159.2 KiB | 2014-Sep-16 18:12 |
| libgecode-dev_4.2.1-2_i386.deb | 485.5 KiB | 2014-Sep-16 18:12 |
| flatzinc_4.2.1-2_i386.deb | 61.3 KiB | 2014-Sep-16 18:12 |
| libgecodeflatzinc36_4.2.1-2_i386.deb | 209.8 KiB | 2014-Sep-16 18:12 |
| gecode_4.2.1-2.debian.tar.xz | 11.6 KiB | 2014-Sep-16 17:47 |
| gecode_4.2.1-2.dsc | 2.0 KiB | 2014-Sep-16 17:47 |
| libgecode-dev_4.2.1-2_amd64.deb | 487.2 KiB | 2014-Sep-16 17:47 |
| libgecodeflatzinc36_4.2.1-2_amd64.deb | 211.8 KiB | 2014-Sep-16 17:47 |
| libgecode-doc_4.2.1-2_all.deb | 8.6 MiB | 2014-Sep-16 17:47 |
| libgecode36_4.2.1-2_amd64.deb | 2.0 MiB | 2014-Sep-16 17:47 |
| flatzinc_4.2.1-2_amd64.deb | 61.2 KiB | 2014-Sep-16 17:47 |
| libgecodegist36_4.2.1-2_amd64.deb | 155.7 KiB | 2014-Sep-16 17:47 |
| gecode_4.2.1.orig.tar.gz | 1.8 MiB | 2013-Nov-09 18:20 |
| flatzinc_3.7.3-1_armel.deb | 59.5 KiB | 2012-Apr-01 05:02 |
| libgecodegist32_3.7.3-1_armel.deb | 156.4 KiB | 2012-Apr-01 05:02 |
| libgecode32_3.7.3-1_armel.deb | 2.6 MiB | 2012-Apr-01 05:02 |
| libgecodeflatzinc32_3.7.3-1_armel.deb | 170.6 KiB | 2012-Apr-01 05:02 |
| libgecode-dev_3.7.3-1_armel.deb | 521.8 KiB | 2012-Apr-01 05:02 |
| libgecode32_3.7.3-1_armhf.deb | 2.3 MiB | 2012-Apr-01 03:48 |
| libgecodeflatzinc32_3.7.3-1_armhf.deb | 159.5 KiB | 2012-Apr-01 03:48 |
| flatzinc_3.7.3-1_armhf.deb | 57.3 KiB | 2012-Apr-01 03:48 |
| libgecode-dev_3.7.3-1_armhf.deb | 518.9 KiB | 2012-Apr-01 03:48 |
| libgecodegist32_3.7.3-1_armhf.deb | 145.5 KiB | 2012-Apr-01 03:48 |
| libgecode32_3.7.3-1_i386.deb | 2.8 MiB | 2012-Apr-01 00:02 |
| flatzinc_3.7.3-1_i386.deb | 57.5 KiB | 2012-Apr-01 00:02 |
| libgecodegist32_3.7.3-1_i386.deb | 168.5 KiB | 2012-Apr-01 00:02 |
| libgecode-dev_3.7.3-1_i386.deb | 518.4 KiB | 2012-Apr-01 00:02 |
| libgecodeflatzinc32_3.7.3-1_i386.deb | 180.2 KiB | 2012-Apr-01 00:02 |
| gecode_3.7.3.orig.tar.gz | 1.6 MiB | 2012-Mar-31 23:03 |
| libgecodegist32_3.7.3-1_amd64.deb | 168.6 KiB | 2012-Mar-31 23:03 |
| libgecode-dev_3.7.3-1_amd64.deb | 521.2 KiB | 2012-Mar-31 23:03 |
| flatzinc_3.7.3-1_amd64.deb | 58.2 KiB | 2012-Mar-31 23:03 |
| libgecode32_3.7.3-1_amd64.deb | 2.8 MiB | 2012-Mar-31 23:03 |
| libgecodeflatzinc32_3.7.3-1_amd64.deb | 184.5 KiB | 2012-Mar-31 23:03 |
| gecode_3.7.3-1.dsc | 1.4 KiB | 2012-Mar-31 23:03 |
| gecode_3.7.3-1.debian.tar.gz | 10.9 KiB | 2012-Mar-31 23:03 |
| libgecode-doc_3.7.3-1_all.deb | 11.2 MiB | 2012-Mar-31 23:03 |