File list of package libflint19 in sid of architecture riscv64
/usr/lib/riscv64-linux-gnu/libflint.so.19 /usr/lib/riscv64-linux-gnu/libflint.so.19.0.0 /usr/share/doc/libflint19/changelog.Debian.gz /usr/share/doc/libflint19/changelog.Debian.riscv64.gz /usr/share/doc/libflint19/copyright