../ libgecode-doc_1.0.0.dfsg.1-2_all.deb 07-Jun-2017 12:48 2312602 libgecode0-dev_1.0.0.dfsg.1-2_i386.deb 07-Jun-2017 12:48 218518 libgecodeint0_1.0.0.dfsg.1-2_i386.deb 07-Jun-2017 12:48 439700 libgecodekernel0_1.0.0.dfsg.1-2_i386.deb 07-Jun-2017 12:48 8888 libgecodeminimodel0_1.0.0.dfsg.1-2_i386.deb 07-Jun-2017 12:48 15102 libgecodesearch0_1.0.0.dfsg.1-2_i386.deb 07-Jun-2017 12:48 13378 libgecodeset0_1.0.0.dfsg.1-2_i386.deb 07-Jun-2017 12:48 642428