Liste des fichiers du paquet libcryptominisat5-5.8 dans bullseye pour l'architecture armhf
/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.8 /usr/share/doc/libcryptominisat5-5.8/README.Debian /usr/share/doc/libcryptominisat5-5.8/changelog.Debian.armhf.gz /usr/share/doc/libcryptominisat5-5.8/changelog.Debian.gz /usr/share/doc/libcryptominisat5-5.8/copyright