Liste des fichiers du paquet libdolfinx-real0.8 dans sid pour l'architecture riscv64
/usr/lib/riscv64-linux-gnu/libdolfinx_real.so.0.8 /usr/lib/riscv64-linux-gnu/libdolfinx_real.so.0.8.0 /usr/share/doc/libdolfinx-real0.8/changelog.Debian.gz /usr/share/doc/libdolfinx-real0.8/changelog.gz /usr/share/doc/libdolfinx-real0.8/copyright