../ flatzinc_6.1.0-2_armhf.deb 22-Jul-2020 14:51 64764 libgecode-dev_6.1.0-2_armhf.deb 22-Jul-2020 15:40 507600 libgecode-doc_6.1.0-2_all.deb 22-Jul-2020 15:59 10859124 libgecode48_6.1.0-2_armhf.deb 22-Jul-2020 16:37 2133984 libgecodeflatzinc48_6.1.0-2_armhf.deb 22-Jul-2020 14:57 214840 libgecodegist48_6.1.0-2_armhf.deb 22-Jul-2020 14:44 152080