../ flatzinc_6.2.0-5.1build3_amd64.deb 23-Dec-2024 16:30 23424 libgecode-dev_6.2.0-5.1build3_amd64.deb 23-Dec-2024 14:49 462072 libgecode-doc_6.2.0-5.1build3_all.deb 23-Dec-2024 19:27 11526664 libgecode49t64_6.2.0-5.1build3_amd64.deb 23-Dec-2024 19:40 2923384 libgecodeflatzinc49t64_6.2.0-5.1build3_amd64.deb 23-Dec-2024 18:04 209620 libgecodegist49t64_6.2.0-5.1build3_amd64.deb 23-Dec-2024 17:54 118344