Liste des fichiers du paquet libdolfinx-real-dev dans sid pour l'architecture alpha
/usr/lib/alpha-linux-gnu/libdolfinx_real.so /usr/lib/alpha-linux-gnu/pkgconfig/dolfinx_real.pc /usr/share/doc/libdolfinx-real-dev/changelog.Debian.alpha.gz /usr/share/doc/libdolfinx-real-dev/changelog.Debian.gz /usr/share/doc/libdolfinx-real-dev/changelog.gz /usr/share/doc/libdolfinx-real-dev/copyright