File list of package libcvc5-1 in trixie of architecture riscv64

/usr/lib/riscv64-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/changelog.Debian.riscv64.gz
/usr/share/doc/libcvc5-1/copyright