File list of package libfiat-0 in trixie of architecture riscv64

/usr/lib/riscv64-linux-gnu/libfiat.so.0d
/usr/lib/riscv64-linux-gnu/libparkind_dp.so.0d
/usr/lib/riscv64-linux-gnu/libparkind_sp.so.0d
/usr/share/doc/libfiat-0/changelog.Debian.gz
/usr/share/doc/libfiat-0/changelog.Debian.riscv64.gz
/usr/share/doc/libfiat-0/copyright