../ cadical_1.5.3-2_amd64.deb 15-Nov-2022 00:25 316708 cadical_1.5.3-2_i386.deb 15-Nov-2022 00:25 344952 cadical_1.7.4-1_amd64.deb 11-Feb-2024 04:47 386784 cadical_1.7.4-1_i386.deb 11-Feb-2024 04:47 421888 libcadical-dev_1.5.3-2_amd64.deb 15-Nov-2022 00:25 287488 libcadical-dev_1.5.3-2_i386.deb 15-Nov-2022 00:25 325132 libcadical-dev_1.7.4-1_amd64.deb 11-Feb-2024 04:47 348924 libcadical-dev_1.7.4-1_i386.deb 11-Feb-2024 04:47 392824