../ 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-2.debian.tar.xz 15-Dec-2025 08:27 4620 cadical_2.1.3-2.dsc 15-Dec-2025 08:27 1996 cadical_2.1.3-2_amd64.deb 15-Dec-2025 17:40 447K cadical_2.1.3-2_i386.deb 15-Dec-2025 17:40 475K cadical_2.1.3-2_loong64.deb 21-Dec-2025 18:41 425K cadical_2.1.3-2_riscv64.deb 17-Dec-2025 11:22 447K 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-2_amd64.deb 15-Dec-2025 17:40 415K libcadical-dev_2.1.3-2_i386.deb 15-Dec-2025 17:40 459K libcadical-dev_2.1.3-2_loong64.deb 21-Dec-2025 18:41 2M libcadical-dev_2.1.3-2_riscv64.deb 17-Dec-2025 11:22 2M