Liste des fichiers du paquet libcryptominisat5-dev dans sid pour l'architecture x32

/usr/include/cryptominisat5/cryptominisat.h
/usr/include/cryptominisat5/cryptominisat_c.h
/usr/include/cryptominisat5/dimacsparser.h
/usr/include/cryptominisat5/solvertypesmini.h
/usr/include/cryptominisat5/streambuffer.h
/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
/usr/lib/x86_64-linux-gnux32/libcryptominisat5.so
/usr/share/doc/libcryptominisat5-dev/changelog.Debian.gz
/usr/share/doc/libcryptominisat5-dev/changelog.Debian.x32.gz
/usr/share/doc/libcryptominisat5-dev/copyright