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

../
cadical_1.5.3-2.debian.tar.xz                      31-Oct-2025 09:14                2976
cadical_1.5.3-2.dsc                                31-Oct-2025 09:14                1996
cadical_1.5.3-2_amd64.deb                          31-Oct-2025 09:14              316708
cadical_1.5.3.orig.tar.gz                          31-Oct-2025 09:14              596378
cadical_1.7.4-1+b1_amd64.deb                       31-Oct-2025 09:14              396096
cadical_1.7.4-1.debian.tar.xz                      31-Oct-2025 09:14                3960
cadical_1.7.4-1.dsc                                31-Oct-2025 09:14                1996
cadical_1.7.4.orig.tar.gz                          31-Oct-2025 09:14              647830
libcadical-dev_1.5.3-2_amd64.deb                   31-Oct-2025 09:14              287488
libcadical-dev_1.7.4-1+b1_amd64.deb                31-Oct-2025 09:14              352116