../ cadical_1.7.4-1.debian.tar.xz 06-May-2024 18:49 3960 cadical_1.7.4-1.dsc 06-May-2024 18:49 1996 cadical_1.7.4-1_amd64.deb 06-May-2024 18:49 454K cadical_1.7.4.orig.tar.gz 06-May-2024 18:49 633K libcadical-dev_1.7.4-1_amd64.deb 06-May-2024 18:49 376K