../ cadical_1.5.3-2.debian.tar.xz 20-Apr-2023 11:55 2976 cadical_1.5.3-2.dsc 20-Apr-2023 11:55 1996 cadical_1.5.3-2_amd64.deb 20-Apr-2023 11:55 316708 cadical_1.5.3-2_i386.deb 20-Apr-2023 11:55 344952 cadical_1.5.3.orig.tar.gz 20-Apr-2023 11:55 596378 libcadical-dev_1.5.3-2_amd64.deb 20-Apr-2023 11:55 287488 libcadical-dev_1.5.3-2_i386.deb 20-Apr-2023 11:55 325132