../ cain-examples_1.10+dfsg-2_all.deb 28-May-2016 11:39 167930 cain-solvers_1.10+dfsg-2_amd64.deb 28-May-2016 11:39 1087730 cain-solvers_1.10+dfsg-2_i386.deb 28-May-2016 11:39 782570 cain_1.10+dfsg-2_all.deb 28-May-2016 11:39 10687080