../ flatzinc_4.4.0-5_i386.deb 26-Apr-2023 14:41 65K gecode_3.4.0-1.debian.tar.gz 26-Apr-2023 11:01 10K gecode_3.4.0-1.dsc 26-Apr-2023 11:01 1161 gecode_3.4.0.orig.tar.gz 26-Apr-2023 11:01 1M gecode_4.4.0-5.debian.tar.xz 26-Apr-2023 14:41 13K gecode_4.4.0-5.dsc 26-Apr-2023 14:41 2154 gecode_4.4.0.orig.tar.gz 26-Apr-2023 14:41 3M libgecode-dev_3.4.0-1_i386.deb 26-Apr-2023 11:01 747K libgecode-dev_4.4.0-5_i386.deb 26-Apr-2023 14:41 495K libgecode-doc_3.4.0-1_all.deb 26-Apr-2023 11:01 10M libgecode-doc_4.4.0-5_all.deb 26-Apr-2023 14:41 9M libgecode23_3.4.0-1_i386.deb 26-Apr-2023 11:01 3M libgecode41v5_4.4.0-5_i386.deb 26-Apr-2023 14:41 2M libgecodeflatzinc41v5_4.4.0-5_i386.deb 26-Apr-2023 14:41 212K libgecodegist41v5_4.4.0-5_i386.deb 26-Apr-2023 14:41 164K