Lista plików pakietu libflint17 z gałęzi sid na architekturę riscv64
/usr/lib/riscv64-linux-gnu/libflint.so.17 /usr/lib/riscv64-linux-gnu/libflint.so.17.0.0 /usr/share/doc/libflint17/changelog.Debian.gz /usr/share/doc/libflint17/changelog.gz /usr/share/doc/libflint17/copyright