| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| flatzinc_6.1.0-2_armhf.deb | 2019-01-18 10:08 | 63K |
| flatzinc_6.2.0-5_armhf.deb | 2020-08-14 10:08 | 73K |
| gecode_6.1.0-2.debian.tar.xz | 2019-01-12 21:35 | 15K |
| gecode_6.1.0-2.dsc | 2019-01-12 21:35 | 2.1K |
| gecode_6.1.0.orig.tar.gz | 2018-10-20 14:07 | 3.3M |
| gecode_6.2.0-5.debian.tar.xz | 2020-08-09 06:13 | 16K |
| gecode_6.2.0-5.dsc | 2020-08-09 06:13 | 2.1K |
| gecode_6.2.0.orig.tar.gz | 2019-12-16 19:01 | 3.5M |
| libgecode-dev_6.1.0-2_armhf.deb | 2019-01-18 10:08 | 496K |
| libgecode-dev_6.2.0-5_armhf.deb | 2020-08-14 10:08 | 501K |
| libgecode-doc_6.1.0-2_all.deb | 2019-01-12 21:35 | 10M |
| libgecode-doc_6.2.0-5_all.deb | 2020-08-09 06:38 | 11M |
| libgecode48_6.1.0-2_armhf.deb | 2019-01-18 10:08 | 2.0M |
| libgecode49_6.2.0-5_armhf.deb | 2020-08-14 10:08 | 2.1M |
| libgecodeflatzinc48_6.1.0-2_armhf.deb | 2019-01-18 10:08 | 210K |
| libgecodeflatzinc49_6.2.0-5_armhf.deb | 2020-08-14 10:08 | 220K |
| libgecodegist48_6.1.0-2_armhf.deb | 2019-01-18 10:08 | 149K |
| libgecodegist49_6.2.0-5_armhf.deb | 2020-08-14 10:08 | 149K |