File list of package libcvc5-1 in sid of architecture amd64

/usr/lib/x86_64-linux-gnu/libcvc5.so.1
/usr/share/doc/libcvc5-1/AUTHORS
/usr/share/doc/libcvc5-1/NEWS.md.gz
/usr/share/doc/libcvc5-1/THANKS
/usr/share/doc/libcvc5-1/changelog.Debian.gz
/usr/share/doc/libcvc5-1/copyright