Index of /kali/pool/main/c/cadical/

../
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              647830