| Parent directory/ | - | - |
| flatzinc_6.2.0-5_armhf.deb | 74368 | 2020-Aug-14 10:08 |
| 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.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.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 |
| 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 |
| 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 |
| 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 |