| Parent directory/ | - | - |
| flatzinc_6.1.0-2_armhf.deb | 64764 | 2019-Jan-18 10:08 |
| flatzinc_6.2.0-5_armhf.deb | 74368 | 2020-Aug-14 10:08 |
| gecode_6.1.0-2.debian.tar.xz | 15760 | 2019-Jan-12 21:35 |
| gecode_6.1.0-2.dsc | 2156 | 2019-Jan-12 21:35 |
| gecode_6.1.0.orig.tar.gz | 3479369 | 2018-Oct-20 14:07 |
| gecode_6.2.0-5.debian.tar.xz | 16464 | 2020-Aug-09 06:13 |
| gecode_6.2.0-5.dsc | 2127 | 2020-Aug-09 06:13 |
| gecode_6.2.0.orig.tar.gz | 3672525 | 2019-Dec-16 19:01 |
| libgecode-dev_6.1.0-2_armhf.deb | 507600 | 2019-Jan-18 10:08 |
| libgecode-dev_6.2.0-5_armhf.deb | 512760 | 2020-Aug-14 10:08 |
| libgecode-doc_6.1.0-2_all.deb | 10859124 | 2019-Jan-12 21:35 |
| libgecode-doc_6.2.0-5_all.deb | 11069352 | 2020-Aug-09 06:38 |
| libgecode48_6.1.0-2_armhf.deb | 2133984 | 2019-Jan-18 10:08 |
| libgecode49_6.2.0-5_armhf.deb | 2173148 | 2020-Aug-14 10:08 |
| libgecodeflatzinc48_6.1.0-2_armhf.deb | 214840 | 2019-Jan-18 10:08 |
| libgecodeflatzinc49_6.2.0-5_armhf.deb | 225628 | 2020-Aug-14 10:08 |
| libgecodegist48_6.1.0-2_armhf.deb | 152080 | 2019-Jan-18 10:08 |
| libgecodegist49_6.2.0-5_armhf.deb | 152404 | 2020-Aug-14 10:08 |