| 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-7.debian.tar.xz | 20188 | 2025-Feb-11 17:48 |
| gecode_6.2.0-7.dsc | 2196 | 2025-Feb-11 17:48 |
| 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-dev_6.2.0-7_armhf.deb | 462168 | 2025-Feb-17 16: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 |
| libgecode-doc_6.2.0-7_all.deb | 11058368 | 2025-Feb-11 18:19 |
| 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 |
| libgecode49t64_6.2.0-7_armhf.deb | 2373956 | 2025-Feb-17 16: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 |
| libgecodeflatzinc49t64_6.2.0-7_armhf.deb | 188316 | 2025-Feb-17 16: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 |
| libgecodegist49t64_6.2.0-7_armhf.deb | 103744 | 2025-Feb-17 16:08 |