Liste des fichiers du paquet cvc5 dans sid pour l'architecture arm64
/usr/bin/cvc5 /usr/share/doc/cvc5/AUTHORS /usr/share/doc/cvc5/NEWS.md.gz /usr/share/doc/cvc5/THANKS /usr/share/doc/cvc5/changelog.Debian.arm64.gz /usr/share/doc/cvc5/changelog.Debian.gz /usr/share/doc/cvc5/copyright