../ cadical_1.5.3-2.debian.tar.xz 15-Nov-2022 06:53 2976 cadical_1.5.3-2.dsc 15-Nov-2022 06:53 1996 cadical_1.5.3-2_amd64.deb 15-Nov-2022 07:25 309K cadical_1.5.3-2_i386.deb 15-Nov-2022 07:25 337K cadical_1.5.3.orig.tar.gz 02-Nov-2022 03:34 582K cadical_1.7.4-1+b1_amd64.deb 28-Oct-2024 23:02 387K cadical_1.7.4-1+b1_i386.deb 28-Oct-2024 23:19 419K cadical_1.7.4-1+b1_riscv64.deb 29-Oct-2024 07:11 395K cadical_1.7.4-1.debian.tar.xz 11-Feb-2024 11:22 3960 cadical_1.7.4-1.dsc 11-Feb-2024 11:22 1996 cadical_1.7.4.orig.tar.gz 11-Feb-2024 11:22 633K cadical_2.1.3-3.debian.tar.xz 23-Mar-2026 19:58 4816 cadical_2.1.3-3.dsc 23-Mar-2026 19:58 2000 cadical_2.1.3-3_amd64.deb 23-Mar-2026 22:30 456K cadical_2.1.3-3_i386.deb 23-Mar-2026 22:46 480K cadical_2.1.3-3_loong64.deb 23-Mar-2026 20:23 446K cadical_2.1.3-3_riscv64.deb 23-Mar-2026 20:54 458K cadical_2.1.3.orig.tar.gz 02-Dec-2025 06:18 714K libcadical-dev_1.5.3-2_amd64.deb 15-Nov-2022 07:25 281K libcadical-dev_1.5.3-2_i386.deb 15-Nov-2022 07:25 318K libcadical-dev_1.7.4-1+b1_amd64.deb 28-Oct-2024 23:02 344K libcadical-dev_1.7.4-1+b1_i386.deb 28-Oct-2024 23:19 386K libcadical-dev_1.7.4-1+b1_riscv64.deb 29-Oct-2024 07:11 1M libcadical-dev_2.1.3-3_amd64.deb 23-Mar-2026 22:30 424K libcadical-dev_2.1.3-3_i386.deb 23-Mar-2026 22:46 461K libcadical-dev_2.1.3-3_loong64.deb 23-Mar-2026 20:23 2M libcadical-dev_2.1.3-3_riscv64.deb 23-Mar-2026 20:54 2M