Liste des fichiers du paquet cvc5 dans sid pour l'architecture s390x
/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.gz /usr/share/doc/cvc5/changelog.Debian.s390x.gz /usr/share/doc/cvc5/copyright