Liste des fichiers du paquet libfiat-0 dans trixie pour l'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