Liste des fichiers du paquet libcadical-dev dans trixie pour l'architecture arm64
/usr/include/cadical.hpp /usr/include/ccadical.h /usr/lib/aarch64-linux-gnu/libcadical.a /usr/share/doc/libcadical-dev/changelog.Debian.arm64.gz /usr/share/doc/libcadical-dev/changelog.Debian.gz /usr/share/doc/libcadical-dev/copyright