![[ICO]](/icons/blank.gif) | Name | Last modified | Size |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - |
![[ ]](/icons/compressed.gif) | gecode_4.2.1-1.debian.tar.gz | 2013-11-20 05:18 | 12K |
| gecode_4.2.1.orig.tar.gz | 2013-11-20 05:18 | 1.8M |
![[ ]](/icons/unknown.gif) | gecode_4.2.1-1.dsc | 2013-11-20 05:18 | 2.0K |
| libgecode-doc_4.2.1-1_all.deb | 2013-11-20 13:58 | 8.3M |
| libgecode36_4.2.1-1_arm64.deb | 2013-11-20 13:58 | 1.6M |
| libgecodegist36_4.2.1-1_arm64.deb | 2013-11-20 13:58 | 104K |
| libgecodeflatzinc36_4.2.1-1_arm64.deb | 2013-11-20 13:58 | 144K |
| libgecode-dev_4.2.1-1_arm64.deb | 2013-11-20 13:58 | 445K |
| flatzinc_4.2.1-1_arm64.deb | 2013-11-20 13:58 | 21K |
| libgecode36_4.2.1-1_armhf.deb | 2013-11-20 13:58 | 1.7M |
| libgecodegist36_4.2.1-1_armhf.deb | 2013-11-20 13:58 | 98K |
| libgecodeflatzinc36_4.2.1-1_armhf.deb | 2013-11-20 13:58 | 141K |
| libgecode-dev_4.2.1-1_armhf.deb | 2013-11-20 13:58 | 445K |
| flatzinc_4.2.1-1_armhf.deb | 2013-11-20 13:58 | 19K |
| libgecode36_4.2.1-1_powerpc.deb | 2013-11-20 13:58 | 1.6M |
| libgecodegist36_4.2.1-1_powerpc.deb | 2013-11-20 13:58 | 108K |
| libgecodeflatzinc36_4.2.1-1_powerpc.deb | 2013-11-20 13:58 | 146K |
| libgecode-dev_4.2.1-1_powerpc.deb | 2013-11-20 13:58 | 445K |
| flatzinc_4.2.1-1_powerpc.deb | 2013-11-20 13:58 | 21K |
| libgecode-dev_4.2.1-1_ppc64el.deb | 2014-02-17 11:49 | 445K |
| flatzinc_4.2.1-1_ppc64el.deb | 2014-02-17 11:49 | 21K |
| libgecodeflatzinc36_4.2.1-1_ppc64el.deb | 2014-02-17 11:49 | 154K |
| libgecodegist36_4.2.1-1_ppc64el.deb | 2014-02-17 11:49 | 113K |
| libgecode36_4.2.1-1_ppc64el.deb | 2014-02-17 11:49 | 1.7M |
| gecode_4.4.0.orig.tar.gz | 2015-05-07 05:59 | 2.8M |
| gecode_4.4.0-3.debian.tar.xz | 2015-10-24 23:09 | 12K |
| gecode_4.4.0-3.dsc | 2015-10-24 23:09 | 2.0K |
| libgecode-doc_4.4.0-3_all.deb | 2015-10-24 23:36 | 9.8M |
| libgecodeflatzinc41v5_4.4.0-3_ppc64el.deb | 2015-10-24 23:38 | 157K |
| libgecodegist41v5_4.4.0-3_ppc64el.deb | 2015-10-24 23:38 | 114K |
| flatzinc_4.4.0-3_ppc64el.deb | 2015-10-24 23:38 | 22K |
| libgecode-dev_4.4.0-3_ppc64el.deb | 2015-10-24 23:38 | 454K |
| libgecode41v5_4.4.0-3_ppc64el.deb | 2015-10-24 23:38 | 1.8M |
| libgecode41v5_4.4.0-3_powerpc.deb | 2015-10-25 00:05 | 1.7M |
| libgecodeflatzinc41v5_4.4.0-3_powerpc.deb | 2015-10-25 00:05 | 150K |
| libgecodegist41v5_4.4.0-3_powerpc.deb | 2015-10-25 00:05 | 110K |
| flatzinc_4.4.0-3_powerpc.deb | 2015-10-25 00:05 | 21K |
| libgecode-dev_4.4.0-3_powerpc.deb | 2015-10-25 00:05 | 453K |
| libgecode41v5_4.4.0-3_armhf.deb | 2015-10-25 00:54 | 1.8M |
| libgecodeflatzinc41v5_4.4.0-3_armhf.deb | 2015-10-25 00:54 | 147K |
| libgecodegist41v5_4.4.0-3_armhf.deb | 2015-10-25 00:54 | 102K |
| libgecode-dev_4.4.0-3_armhf.deb | 2015-10-25 00:54 | 453K |
| flatzinc_4.4.0-3_armhf.deb | 2015-10-25 00:54 | 21K |
| libgecodegist41v5_4.4.0-3_arm64.deb | 2015-10-25 02:19 | 107K |
| libgecode41v5_4.4.0-3_arm64.deb | 2015-10-25 02:19 | 1.6M |
| flatzinc_4.4.0-3_arm64.deb | 2015-10-25 02:19 | 22K |
| libgecodeflatzinc41v5_4.4.0-3_arm64.deb | 2015-10-25 02:19 | 148K |
| libgecode-dev_4.4.0-3_arm64.deb | 2015-10-25 02:19 | 453K |
| flatzinc_4.4.0-3_s390x.deb | 2015-12-10 05:04 | 22K |
| libgecode-dev_4.4.0-3_s390x.deb | 2015-12-10 05:04 | 453K |
| libgecode41v5_4.4.0-3_s390x.deb | 2015-12-10 05:05 | 1.8M |
| libgecodeflatzinc41v5_4.4.0-3_s390x.deb | 2015-12-10 05:05 | 152K |
| libgecodegist41v5_4.4.0-3_s390x.deb | 2015-12-10 05:05 | 112K |
| gecode_5.1.0.orig.tar.gz | 2017-07-25 17:08 | 3.1M |
| gecode_5.1.0-2build1.debian.tar.xz | 2018-01-24 22:58 | 14K |
| gecode_5.1.0-2build1.dsc | 2018-01-24 22:58 | 2.1K |
| libgecode44_5.1.0-2build1_ppc64el.deb | 2018-01-24 22:59 | 2.2M |
| libgecode-dev_5.1.0-2build1_ppc64el.deb | 2018-01-24 22:59 | 427K |
| flatzinc_5.1.0-2build1_ppc64el.deb | 2018-01-24 22:59 | 16K |
| libgecodegist44_5.1.0-2build1_ppc64el.deb | 2018-01-24 22:59 | 119K |
| libgecodeflatzinc44_5.1.0-2build1_ppc64el.deb | 2018-01-24 22:59 | 176K |
| libgecodeflatzinc44_5.1.0-2build1_s390x.deb | 2018-01-24 22:59 | 160K |
| libgecode44_5.1.0-2build1_s390x.deb | 2018-01-24 22:59 | 2.0M |
| libgecode-dev_5.1.0-2build1_s390x.deb | 2018-01-24 22:59 | 427K |
| flatzinc_5.1.0-2build1_s390x.deb | 2018-01-24 22:59 | 15K |
| libgecodegist44_5.1.0-2build1_s390x.deb | 2018-01-24 22:59 | 107K |
| libgecode-doc_5.1.0-2build1_all.deb | 2018-01-24 23:34 | 9.8M |
| flatzinc_5.1.0-2build1_arm64.deb | 2018-01-24 23:34 | 15K |
| libgecodegist44_5.1.0-2build1_arm64.deb | 2018-01-24 23:34 | 108K |
| libgecode-dev_5.1.0-2build1_arm64.deb | 2018-01-24 23:34 | 427K |
| libgecode44_5.1.0-2build1_arm64.deb | 2018-01-24 23:34 | 2.0M |
| libgecodeflatzinc44_5.1.0-2build1_arm64.deb | 2018-01-24 23:34 | 162K |
| libgecode-dev_5.1.0-2build1_armhf.deb | 2018-01-24 23:34 | 427K |
| libgecodegist44_5.1.0-2build1_armhf.deb | 2018-01-24 23:34 | 100K |
| libgecodeflatzinc44_5.1.0-2build1_armhf.deb | 2018-01-24 23:34 | 154K |
| flatzinc_5.1.0-2build1_armhf.deb | 2018-01-24 23:34 | 13K |
| libgecode44_5.1.0-2build1_armhf.deb | 2018-01-24 23:34 | 1.9M |
| gecode_6.2.0.orig.tar.gz | 2020-01-10 23:13 | 3.5M |
| gecode_6.2.0-3build1.debian.tar.xz | 2020-03-24 14:43 | 16K |
| gecode_6.2.0-3build1.dsc | 2020-03-24 14:43 | 2.2K |
| libgecode-doc_6.2.0-3build1_all.deb | 2020-03-24 16:11 | 10M |
| libgecodegist49_6.2.0-3build1_ppc64el.deb | 2020-03-24 16:13 | 118K |
| libgecode49_6.2.0-3build1_ppc64el.deb | 2020-03-24 16:13 | 2.5M |
| libgecode-dev_6.2.0-3build1_ppc64el.deb | 2020-03-24 16:13 | 451K |
| libgecodeflatzinc49_6.2.0-3build1_ppc64el.deb | 2020-03-24 16:13 | 201K |
| flatzinc_6.2.0-3build1_ppc64el.deb | 2020-03-24 16:13 | 24K |
| libgecodeflatzinc49_6.2.0-3build1_s390x.deb | 2020-03-24 16:41 | 189K |
| libgecode-dev_6.2.0-3build1_s390x.deb | 2020-03-24 16:41 | 451K |
| libgecodegist49_6.2.0-3build1_s390x.deb | 2020-03-24 16:41 | 114K |
| flatzinc_6.2.0-3build1_s390x.deb | 2020-03-24 16:41 | 24K |
| libgecode49_6.2.0-3build1_s390x.deb | 2020-03-24 16:41 | 2.5M |
| libgecode-dev_6.2.0-3build1_arm64.deb | 2020-03-24 18:19 | 451K |
| libgecodegist49_6.2.0-3build1_arm64.deb | 2020-03-24 18:19 | 106K |
| libgecode49_6.2.0-3build1_arm64.deb | 2020-03-24 18:19 | 2.2M |
| flatzinc_6.2.0-3build1_arm64.deb | 2020-03-24 18:19 | 24K |
| libgecodeflatzinc49_6.2.0-3build1_arm64.deb | 2020-03-24 18:19 | 181K |
| libgecode-dev_6.2.0-3build1_armhf.deb | 2020-03-24 18:19 | 451K |
| libgecodegist49_6.2.0-3build1_armhf.deb | 2020-03-24 18:19 | 101K |
| flatzinc_6.2.0-3build1_armhf.deb | 2020-03-24 18:19 | 22K |
| libgecode49_6.2.0-3build1_armhf.deb | 2020-03-24 18:19 | 2.2M |
| libgecodeflatzinc49_6.2.0-3build1_armhf.deb | 2020-03-24 18:19 | 183K |
| libgecode49_6.2.0-3build1_riscv64.deb | 2020-04-05 00:13 | 2.4M |
| libgecode-dev_6.2.0-3build1_riscv64.deb | 2020-04-05 00:13 | 451K |
| flatzinc_6.2.0-3build1_riscv64.deb | 2020-04-05 00:13 | 23K |
| libgecodegist49_6.2.0-3build1_riscv64.deb | 2020-04-05 00:13 | 112K |
| libgecodeflatzinc49_6.2.0-3build1_riscv64.deb | 2020-04-05 00:13 | 199K |
| gecode_6.2.0-5.dsc | 2020-08-09 11:18 | 2.1K |
| gecode_6.2.0-5.debian.tar.xz | 2020-08-09 11:18 | 16K |
| libgecode-doc_6.2.0-5_all.deb | 2020-08-09 11:33 | 11M |
| libgecode-dev_6.2.0-5_ppc64el.deb | 2020-08-09 11:33 | 451K |
| libgecodeflatzinc49_6.2.0-5_ppc64el.deb | 2020-08-09 11:33 | 198K |
| flatzinc_6.2.0-5_ppc64el.deb | 2020-08-09 11:33 | 24K |
| libgecodegist49_6.2.0-5_ppc64el.deb | 2020-08-09 11:33 | 117K |
| libgecode49_6.2.0-5_ppc64el.deb | 2020-08-09 11:33 | 2.6M |
| libgecode49_6.2.0-5_s390x.deb | 2020-08-09 11:33 | 2.6M |
| flatzinc_6.2.0-5_s390x.deb | 2020-08-09 11:33 | 23K |
| libgecode-dev_6.2.0-5_s390x.deb | 2020-08-09 11:33 | 451K |
| libgecodeflatzinc49_6.2.0-5_s390x.deb | 2020-08-09 11:33 | 190K |
| libgecodegist49_6.2.0-5_s390x.deb | 2020-08-09 11:33 | 114K |
| libgecodegist49_6.2.0-5_arm64.deb | 2020-08-09 12:28 | 107K |
| libgecode-dev_6.2.0-5_arm64.deb | 2020-08-09 12:28 | 451K |
| libgecode49_6.2.0-5_arm64.deb | 2020-08-09 12:28 | 2.2M |
| libgecodeflatzinc49_6.2.0-5_arm64.deb | 2020-08-09 12:28 | 179K |
| flatzinc_6.2.0-5_arm64.deb | 2020-08-09 12:28 | 24K |
| libgecode-dev_6.2.0-5_armhf.deb | 2020-08-09 12:28 | 451K |
| libgecodeflatzinc49_6.2.0-5_armhf.deb | 2020-08-09 12:28 | 173K |
| flatzinc_6.2.0-5_armhf.deb | 2020-08-09 12:28 | 22K |
| libgecode49_6.2.0-5_armhf.deb | 2020-08-09 12:28 | 2.2M |
| libgecodegist49_6.2.0-5_armhf.deb | 2020-08-09 12:28 | 100K |
| flatzinc_6.2.0-5_riscv64.deb | 2020-08-09 13:28 | 23K |
| libgecode49_6.2.0-5_riscv64.deb | 2020-08-09 13:28 | 2.4M |
| libgecodeflatzinc49_6.2.0-5_riscv64.deb | 2020-08-09 13:28 | 196K |
| libgecodegist49_6.2.0-5_riscv64.deb | 2020-08-09 13:28 | 112K |
| libgecode-dev_6.2.0-5_riscv64.deb | 2020-08-09 13:28 | 451K |
| gecode_6.2.0-5.1build3.debian.tar.xz | 2024-04-12 05:59 | 16K |
| gecode_6.2.0-5.1build3.dsc | 2024-04-12 05:59 | 2.3K |
| libgecode-doc_6.2.0-5.1build3_all.deb | 2024-04-12 05:59 | 11M |
| libgecodegist49t64_6.2.0-5.1build3_arm64.deb | 2024-04-12 05:59 | 106K |
| libgecodeflatzinc49t64_6.2.0-5.1build3_arm64.deb | 2024-04-12 05:59 | 175K |
| libgecode49t64_6.2.0-5.1build3_arm64.deb | 2024-04-12 05:59 | 2.3M |
| libgecode-dev_6.2.0-5.1build3_arm64.deb | 2024-04-12 05:59 | 451K |
| flatzinc_6.2.0-5.1build3_arm64.deb | 2024-04-12 05:59 | 23K |
| libgecodegist49t64_6.2.0-5.1build3_armhf.deb | 2024-04-12 06:00 | 101K |
| libgecodeflatzinc49t64_6.2.0-5.1build3_armhf.deb | 2024-04-12 06:00 | 183K |
| libgecode49t64_6.2.0-5.1build3_armhf.deb | 2024-04-12 06:00 | 2.4M |
| libgecode-dev_6.2.0-5.1build3_armhf.deb | 2024-04-12 06:00 | 451K |
| flatzinc_6.2.0-5.1build3_armhf.deb | 2024-04-12 06:00 | 22K |
| libgecodegist49t64_6.2.0-5.1build3_ppc64el.deb | 2024-04-12 06:00 | 114K |
| libgecodeflatzinc49t64_6.2.0-5.1build3_ppc64el.deb | 2024-04-12 06:00 | 192K |
| libgecode49t64_6.2.0-5.1build3_ppc64el.deb | 2024-04-12 06:00 | 2.7M |
| libgecode-dev_6.2.0-5.1build3_ppc64el.deb | 2024-04-12 06:00 | 451K |
| flatzinc_6.2.0-5.1build3_ppc64el.deb | 2024-04-12 06:00 | 23K |
| libgecodegist49t64_6.2.0-5.1build3_s390x.deb | 2024-04-12 06:00 | 122K |
| libgecodeflatzinc49t64_6.2.0-5.1build3_s390x.deb | 2024-04-12 06:00 | 208K |
| libgecode49t64_6.2.0-5.1build3_s390x.deb | 2024-04-12 06:00 | 3.2M |
| libgecode-dev_6.2.0-5.1build3_s390x.deb | 2024-04-12 06:00 | 451K |
| flatzinc_6.2.0-5.1build3_s390x.deb | 2024-04-12 06:00 | 23K |
| libgecodegist49t64_6.2.0-5.1build3_riscv64.deb | 2024-04-12 07:33 | 116K |
| libgecodeflatzinc49t64_6.2.0-5.1build3_riscv64.deb | 2024-04-12 07:33 | 208K |
| libgecode49t64_6.2.0-5.1build3_riscv64.deb | 2024-04-12 07:33 | 2.7M |
| libgecode-dev_6.2.0-5.1build3_riscv64.deb | 2024-04-12 07:33 | 451K |
| flatzinc_6.2.0-5.1build3_riscv64.deb | 2024-04-12 07:33 | 23K |
| gecode_6.2.0-6.dsc | 2024-08-28 18:53 | 2.1K |
| gecode_6.2.0-6.debian.tar.xz | 2024-08-28 18:53 | 20K |
| libgecode-doc_6.2.0-6_all.deb | 2024-08-28 18:53 | 11M |
| libgecodegist49t64_6.2.0-6_arm64.deb | 2024-08-28 18:53 | 106K |
| libgecodeflatzinc49t64_6.2.0-6_arm64.deb | 2024-08-28 18:53 | 178K |
| libgecode49t64_6.2.0-6_arm64.deb | 2024-08-28 18:53 | 2.4M |
| libgecode-dev_6.2.0-6_arm64.deb | 2024-08-28 18:53 | 451K |
| libgecodegist49t64_6.2.0-6_armhf.deb | 2024-08-28 18:53 | 101K |
| libgecodeflatzinc49t64_6.2.0-6_armhf.deb | 2024-08-28 18:53 | 186K |
| libgecode49t64_6.2.0-6_armhf.deb | 2024-08-28 18:53 | 2.4M |
| libgecode-dev_6.2.0-6_armhf.deb | 2024-08-28 18:53 | 451K |
| libgecodegist49t64_6.2.0-6_ppc64el.deb | 2024-08-28 18:53 | 112K |
| libgecodeflatzinc49t64_6.2.0-6_ppc64el.deb | 2024-08-28 18:53 | 194K |
| libgecode49t64_6.2.0-6_ppc64el.deb | 2024-08-28 18:53 | 2.7M |
| libgecode-dev_6.2.0-6_ppc64el.deb | 2024-08-28 18:53 | 451K |
| libgecodegist49t64_6.2.0-6_s390x.deb | 2024-08-28 18:53 | 120K |
| libgecodeflatzinc49t64_6.2.0-6_s390x.deb | 2024-08-28 18:53 | 210K |
| libgecode49t64_6.2.0-6_s390x.deb | 2024-08-28 18:53 | 3.3M |
| libgecode-dev_6.2.0-6_s390x.deb | 2024-08-28 18:53 | 451K |
| libgecodegist49t64_6.2.0-6_riscv64.deb | 2024-08-28 19:56 | 116K |
| libgecodeflatzinc49t64_6.2.0-6_riscv64.deb | 2024-08-28 19:56 | 212K |
| libgecode49t64_6.2.0-6_riscv64.deb | 2024-08-28 19:56 | 2.8M |
| libgecode-dev_6.2.0-6_riscv64.deb | 2024-08-28 19:56 | 451K |
| gecode_6.2.0-7.dsc | 2025-02-11 23:30 | 2.1K |
| gecode_6.2.0-7.debian.tar.xz | 2025-02-11 23:30 | 20K |
| libgecode-doc_6.2.0-7_all.deb | 2025-02-12 01:12 | 10M |
| libgecodegist49t64_6.2.0-7_arm64.deb | 2025-02-12 01:12 | 121K |
| libgecodeflatzinc49t64_6.2.0-7_arm64.deb | 2025-02-12 01:12 | 208K |
| libgecode49t64_6.2.0-7_arm64.deb | 2025-02-12 01:12 | 2.8M |
| libgecode-dev_6.2.0-7_arm64.deb | 2025-02-12 01:12 | 456K |
| libgecodegist49t64_6.2.0-7_armhf.deb | 2025-02-12 01:13 | 112K |
| libgecodeflatzinc49t64_6.2.0-7_armhf.deb | 2025-02-12 01:13 | 211K |
| libgecode49t64_6.2.0-7_armhf.deb | 2025-02-12 01:13 | 2.8M |
| libgecode-dev_6.2.0-7_armhf.deb | 2025-02-12 01:13 | 456K |
| libgecodegist49t64_6.2.0-7_riscv64.deb | 2025-02-12 01:13 | 127K |
| libgecodeflatzinc49t64_6.2.0-7_riscv64.deb | 2025-02-12 01:13 | 234K |
| libgecode49t64_6.2.0-7_riscv64.deb | 2025-02-12 01:13 | 3.2M |
| libgecode-dev_6.2.0-7_riscv64.deb | 2025-02-12 01:13 | 456K |
| libgecodegist49t64_6.2.0-7_s390x.deb | 2025-02-12 01:13 | 135K |
| libgecodeflatzinc49t64_6.2.0-7_s390x.deb | 2025-02-12 01:13 | 240K |
| libgecode49t64_6.2.0-7_s390x.deb | 2025-02-12 01:13 | 3.8M |
| libgecode-dev_6.2.0-7_s390x.deb | 2025-02-12 01:13 | 456K |
| libgecodegist49t64_6.2.0-7_ppc64el.deb | 2025-02-12 13:18 | 127K |
| libgecodeflatzinc49t64_6.2.0-7_ppc64el.deb | 2025-02-12 13:18 | 223K |
| libgecode49t64_6.2.0-7_ppc64el.deb | 2025-02-12 13:18 | 3.1M |
| libgecode-dev_6.2.0-7_ppc64el.deb | 2025-02-12 13:18 | 456K |
|
|---|