../ cadical_1.5.3-2.debian.tar.xz 06-Nov-2024 18:55 2976 cadical_1.5.3-2.dsc 06-Nov-2024 18:55 1996 cadical_1.5.3-2_amd64.deb 06-Nov-2024 18:55 309K cadical_1.5.3-2_i386.deb 06-Nov-2024 18:55 337K cadical_1.5.3.orig.tar.gz 06-Nov-2024 18:55 582K libcadical-dev_1.5.3-2_amd64.deb 06-Nov-2024 18:55 281K libcadical-dev_1.5.3-2_i386.deb 06-Nov-2024 18:55 318K