../ cadical_1.5.3-2_amd64.deb 14-Nov-2022 20:25 309K cadical_1.7.4-1+b1_amd64.deb 28-Oct-2024 12:02 387K cadical_2.1.3-3_amd64.deb 23-Mar-2026 11:30 456K cadical_2.1.3-3_loong64.deb 23-Mar-2026 09:23 446K libcadical-dev_1.5.3-2_amd64.deb 14-Nov-2022 20:25 281K libcadical-dev_1.7.4-1+b1_amd64.deb 28-Oct-2024 12:02 344K libcadical-dev_2.1.3-3_amd64.deb 23-Mar-2026 11:30 424K libcadical-dev_2.1.3-3_loong64.deb 23-Mar-2026 09:23 2M