Liste des fichiers du paquet libppl14 dans sid pour l'architecture riscv64
/usr/lib/riscv64-linux-gnu/libppl.so.14
/usr/lib/riscv64-linux-gnu/libppl.so.14.0.0
/usr/share/doc/libppl14/BUGS
/usr/share/doc/libppl14/CREDITS.gz
/usr/share/doc/libppl14/NEWS.gz
/usr/share/doc/libppl14/README.gz
/usr/share/doc/libppl14/README.swiprolog
/usr/share/doc/libppl14/changelog.Debian.gz
/usr/share/doc/libppl14/changelog.Debian.riscv64.gz
/usr/share/doc/libppl14/changelog.gz
/usr/share/doc/libppl14/copyright
/usr/lib/riscv64-linux-gnu/libppl.so.14
/usr/lib/riscv64-linux-gnu/libppl.so.14.0.0
/usr/share/doc/libppl14/BUGS
/usr/share/doc/libppl14/CREDITS.gz
/usr/share/doc/libppl14/NEWS.gz
/usr/share/doc/libppl14/README.gz
/usr/share/doc/libppl14/README.swiprolog
/usr/share/doc/libppl14/changelog.Debian.gz
/usr/share/doc/libppl14/changelog.Debian.riscv64.gz
/usr/share/doc/libppl14/changelog.gz
/usr/share/doc/libppl14/copyright