../ gecode-flatzinc_6.4.0-2_amd64.deb 09-Oct-2026 10:41 28532 libgecode-dev_6.4.0-2_amd64.deb 09-Oct-2026 10:41 474084 libgecode-doc_6.4.0-2_all.deb 09-Oct-2026 10:41 2890524 libgecode51_6.4.0-2_amd64.deb 09-Oct-2026 10:41 3626928 libgecodeflatzinc51_6.4.0-2_amd64.deb 09-Oct-2026 10:41 300960 libgecodegist51_6.4.0-2_amd64.deb 09-Oct-2026 10:41 129632