../ flatzinc_6.2.0-5_amd64.deb 09-Aug-2020 11:33 24K libgecode-dev_6.2.0-5_amd64.deb 09-Aug-2020 11:33 451K libgecode-doc_6.2.0-5_all.deb 09-Aug-2020 11:33 11M libgecode49_6.2.0-5_amd64.deb 09-Aug-2020 11:33 3M libgecodeflatzinc49_6.2.0-5_amd64.deb 09-Aug-2020 11:33 207K libgecodegist49_6.2.0-5_amd64.deb 09-Aug-2020 11:33 116K