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

../
cadical_1.7.4-1+b1_amd64.deb                       28-Oct-2024 16:02    387K
cadical_1.7.4-1+b1_arm64.deb                       28-Oct-2024 21:28    339K
cadical_1.7.4-1+b1_riscv64.deb                     29-Oct-2024 00:11    395K
cadical_2.1.3-2_amd64.deb                          15-Dec-2025 10:40    447K
cadical_2.1.3-2_arm64.deb                          15-Dec-2025 10:40    393K
cadical_2.1.3-2_riscv64.deb                        17-Dec-2025 04:22    447K
libcadical-dev_1.7.4-1+b1_amd64.deb                28-Oct-2024 16:02    344K
libcadical-dev_1.7.4-1+b1_arm64.deb                28-Oct-2024 21:28    325K
libcadical-dev_1.7.4-1+b1_riscv64.deb              29-Oct-2024 00:11      1M
libcadical-dev_2.1.3-2_amd64.deb                   15-Dec-2025 10:40    415K
libcadical-dev_2.1.3-2_arm64.deb                   15-Dec-2025 10:40    392K
libcadical-dev_2.1.3-2_riscv64.deb                 17-Dec-2025 04:22      2M