../ flatzinc_6.1.0-2_armhf.deb 18-Jan-2019 10:08 64764 flatzinc_6.2.0-5_armhf.deb 14-Aug-2020 10:08 74368 gecode_6.1.0-2.debian.tar.xz 12-Jan-2019 21:35 15760 gecode_6.1.0-2.dsc 12-Jan-2019 21:35 2156 gecode_6.1.0.orig.tar.gz 20-Oct-2018 14:07 3479369 gecode_6.2.0-5.1.debian.tar.xz 28-Feb-2024 16:21 16700 gecode_6.2.0-5.1.dsc 28-Feb-2024 16:21 2200 gecode_6.2.0-5.debian.tar.xz 09-Aug-2020 06:13 16464 gecode_6.2.0-5.dsc 09-Aug-2020 06:13 2127 gecode_6.2.0.orig.tar.gz 16-Dec-2019 19:01 3672525 libgecode-dev_6.1.0-2_armhf.deb 18-Jan-2019 10:08 507600 libgecode-dev_6.2.0-5_armhf.deb 14-Aug-2020 10:08 512760 libgecode-doc_6.1.0-2_all.deb 12-Jan-2019 21:35 10859124 libgecode-doc_6.2.0-5.1_all.deb 28-Feb-2024 17:50 11573320 libgecode-doc_6.2.0-5_all.deb 09-Aug-2020 06:38 11069352 libgecode48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 2133984 libgecode49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 2173148 libgecodeflatzinc48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 214840 libgecodeflatzinc49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 225628 libgecodegist48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 152080 libgecodegist49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 152404