../ cain-examples_1.10+dfsg-2_all.deb 11-Sep-2025 18:02 167930 cain-solvers_1.10+dfsg-2_amd64.deb 11-Sep-2025 17:59 1087730 cain_1.10+dfsg-2_all.deb 11-Sep-2025 17:47 10687080