Liste des fichiers du paquet libgmp10 dans trixie pour l'architecture riscv64
/usr/lib/riscv64-linux-gnu/libgmp.so.10 /usr/lib/riscv64-linux-gnu/libgmp.so.10.5.0 /usr/share/doc/libgmp10/README.Debian /usr/share/doc/libgmp10/changelog.Debian.gz /usr/share/doc/libgmp10/changelog.gz /usr/share/doc/libgmp10/copyright