Index of /mirror/deb.debian.org/debian/pool/main/c/cadical/

../
cadical_1.5.3-2_amd64.deb                          10-Oct-2023 09:53              316708
cadical_1.5.3-2_armhf.deb                          10-Oct-2023 09:53              280600
libcadical-dev_1.5.3-2_amd64.deb                   10-Oct-2023 09:53              287488
libcadical-dev_1.5.3-2_armhf.deb                   10-Oct-2023 09:53              282220