../ flatzinc_6.2.0-5_amd64.deb 09-Aug-2020 13:43 74K libgecode-dev_6.2.0-5_amd64.deb 09-Aug-2020 13:43 501K libgecode-doc_6.2.0-5_all.deb 09-Aug-2020 13:38 11M libgecode-doc_6.2.0-7_all.deb 12-Feb-2025 01:19 11M libgecode49_6.2.0-5_amd64.deb 09-Aug-2020 13:43 3M libgecodeflatzinc49_6.2.0-5_amd64.deb 09-Aug-2020 13:43 258K libgecodegist49_6.2.0-5_amd64.deb 09-Aug-2020 13:43 166K