../ cadical_1.7.4-1.debian.tar.xz 08-Mar-2024 09:49 3960 cadical_1.7.4-1.dsc 08-Mar-2024 09:49 1996 cadical_1.7.4-1_amd64.deb 08-Mar-2024 09:49 464636 cadical_1.7.4.orig.tar.gz 08-Mar-2024 09:49 647830 libcadical-dev_1.7.4-1_amd64.deb 08-Mar-2024 09:49 384528