Index of /debian/pool/main/c/cadical/

../
cadical_1.5.3-2_amd64.deb                          15-Nov-2022 00:25    309K
cadical_1.5.3.orig.tar.gz                          01-Nov-2022 20:34    582K
cadical_1.7.4-1+b1_amd64.deb                       28-Oct-2024 16:02    387K
cadical_1.7.4-1+b1_riscv64.deb                     29-Oct-2024 00:11    395K
cadical_1.7.4.orig.tar.gz                          11-Feb-2024 04:22    633K
cadical_2.1.3-3_amd64.deb                          23-Mar-2026 15:30    456K
cadical_2.1.3-3_loong64.deb                        23-Mar-2026 13:23    446K
cadical_2.1.3-3_riscv64.deb                        23-Mar-2026 13:54    458K
cadical_2.1.3.orig.tar.gz                          01-Dec-2025 23:18    714K
libcadical-dev_1.5.3-2_amd64.deb                   15-Nov-2022 00:25    281K
libcadical-dev_1.7.4-1+b1_amd64.deb                28-Oct-2024 16:02    344K
libcadical-dev_1.7.4-1+b1_riscv64.deb              29-Oct-2024 00:11      1M
libcadical-dev_2.1.3-3_amd64.deb                   23-Mar-2026 15:30    424K
libcadical-dev_2.1.3-3_loong64.deb                 23-Mar-2026 13:23      2M
libcadical-dev_2.1.3-3_riscv64.deb                 23-Mar-2026 13:54      2M