cadical_1.7.4-1+b1_amd64.deb
cadical_1.7.4-1+b1_arm64.deb
libcadical-dev_1.7.4-1+b1_amd64.deb
libcadical-dev_1.7.4-1+b1_arm64.deb