| Parent directory/ | - | - |
| flatzinc_4.2.1-1_amd64.deb | 61K | 15-Sep-2017 10:03 |
| flatzinc_4.4.0-3_amd64.deb | 64K | 15-Aug-2017 23:02 |
| flatzinc_5.1.0-2+b1_amd64.deb | 62K | 24-Jan-2018 13:28 |
| gecode_5.1.0-2.debian.tar.xz | 14K | 29-Jul-2017 13:25 |
| gecode_5.1.0-2.dsc | 2156 | 29-Jul-2017 13:25 |
| gecode_5.1.0.orig.tar.gz | 3M | 18-Jul-2017 19:50 |
| libgecode-dev_4.2.1-1_amd64.deb | 486K | 16-Sep-2017 13:03 |
| libgecode-dev_4.4.0-3_amd64.deb | 493K | 17-Aug-2017 02:06 |
| libgecode-dev_5.1.0-2+b1_amd64.deb | 474K | 24-Jan-2018 13:28 |
| libgecode-doc_4.2.1-1_all.deb | 8M | 16-Sep-2017 13:03 |
| libgecode-doc_4.4.0-3_all.deb | 8M | 17-Aug-2017 02:06 |
| libgecode-doc_5.1.0-2_all.deb | 10M | 29-Jul-2017 13:25 |
| libgecode30_3.7.1-3_amd64.deb | 3M | 17-Aug-2017 02:05 |
| libgecode31_3.7.2-1_amd64.deb | 3M | 17-Aug-2017 02:05 |
| libgecode32_3.7.3-1_amd64.deb | 3M | 17-Aug-2017 02:06 |
| libgecode33_4.0.0-2_amd64.deb | 2M | 17-Aug-2017 02:06 |
| libgecode33_4.0.0-2_i386.deb | 2M | 02-Sep-2017 21:47 |
| libgecode35_4.2.0-1_amd64.deb | 2M | 17-Aug-2017 02:06 |
| libgecode35_4.2.0-1_i386.deb | 2M | 02-Sep-2017 21:47 |
| libgecode36_4.2.1-1_amd64.deb | 2M | 16-Sep-2017 13:03 |
| libgecode36_4.2.1-2_amd64.deb | 2M | 17-Aug-2017 02:06 |
| libgecode41_4.4.0-2_amd64.deb | 2M | 17-Aug-2017 02:06 |
| libgecode41_4.4.0-2_i386.deb | 2M | 02-Sep-2017 21:47 |
| libgecode41v5_4.4.0-3_amd64.deb | 2M | 17-Aug-2017 02:06 |
| libgecode41v5_4.4.0-5_amd64.deb | 2M | 03-Jun-2017 13:01 |
| libgecode44_5.1.0-2+b1_amd64.deb | 2M | 24-Jan-2018 13:28 |
| libgecodeflatzinc30_3.7.1-3_amd64.deb | 182K | 17-Aug-2017 02:06 |
| libgecodeflatzinc31_3.7.2-1_amd64.deb | 185K | 17-Aug-2017 02:07 |
| libgecodeflatzinc32_3.7.3-1_amd64.deb | 184K | 17-Aug-2017 02:07 |
| libgecodeflatzinc33_4.0.0-2_amd64.deb | 182K | 17-Aug-2017 02:07 |
| libgecodeflatzinc33_4.0.0-2_i386.deb | 181K | 02-Sep-2017 21:47 |
| libgecodeflatzinc35_4.2.0-1_amd64.deb | 202K | 17-Aug-2017 02:07 |
| libgecodeflatzinc35_4.2.0-1_i386.deb | 197K | 02-Sep-2017 21:47 |
| libgecodeflatzinc36_4.2.1-1_amd64.deb | 205K | 16-Sep-2017 13:05 |
| libgecodeflatzinc36_4.2.1-2_amd64.deb | 212K | 17-Aug-2017 02:07 |
| libgecodeflatzinc41_4.4.0-2_amd64.deb | 223K | 17-Aug-2017 02:07 |
| libgecodeflatzinc41_4.4.0-2_i386.deb | 220K | 02-Sep-2017 21:48 |
| libgecodeflatzinc41v5_4.4.0-3_amd64.deb | 212K | 17-Aug-2017 02:07 |
| libgecodeflatzinc41v5_4.4.0-5_amd64.deb | 201K | 03-Jun-2017 13:01 |
| libgecodeflatzinc44_5.1.0-2+b1_amd64.deb | 224K | 24-Jan-2018 13:28 |
| libgecodegist30_3.7.1-3_amd64.deb | 168K | 17-Aug-2017 02:07 |
| libgecodegist31_3.7.2-1_amd64.deb | 168K | 17-Aug-2017 02:07 |
| libgecodegist32_3.7.3-1_amd64.deb | 169K | 17-Aug-2017 02:07 |
| libgecodegist33_4.0.0-2_amd64.deb | 145K | 17-Aug-2017 02:07 |
| libgecodegist33_4.0.0-2_i386.deb | 146K | 02-Sep-2017 21:48 |
| libgecodegist35_4.2.0-1_amd64.deb | 155K | 17-Aug-2017 02:08 |
| libgecodegist35_4.2.0-1_i386.deb | 155K | 02-Sep-2017 21:48 |
| libgecodegist36_4.2.1-1_amd64.deb | 155K | 16-Sep-2017 13:06 |
| libgecodegist36_4.2.1-2_amd64.deb | 156K | 17-Aug-2017 02:08 |
| libgecodegist41_4.4.0-2_amd64.deb | 161K | 17-Aug-2017 02:08 |
| libgecodegist41_4.4.0-2_i386.deb | 164K | 02-Sep-2017 21:48 |
| libgecodegist41v5_4.4.0-3_amd64.deb | 160K | 17-Aug-2017 02:08 |
| libgecodegist41v5_4.4.0-5_amd64.deb | 156K | 03-Jun-2017 13:01 |
| libgecodegist44_5.1.0-2+b1_amd64.deb | 164K | 24-Jan-2018 13:28 |