../ flatzinc_6.2.0-5.1build3_amd64.deb 12-Apr-2024 05:59 23K libgecode-dev_6.2.0-5.1build3_amd64.deb 12-Apr-2024 05:59 451K libgecode-doc_6.2.0-5.1build3_all.deb 12-Apr-2024 05:59 11M libgecode49t64_6.2.0-5.1build3_amd64.deb 12-Apr-2024 05:59 3M libgecodeflatzinc49t64_6.2.0-5.1build3_amd64.deb 12-Apr-2024 05:59 205K libgecodegist49t64_6.2.0-5.1build3_amd64.deb 12-Apr-2024 05:59 116K