libcryptominisat5-dev paketinin ppc64el aramo dosya listesi

/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/powerpc64le-linux-gnu/libcryptominisat5.so
/usr/share/doc/libcryptominisat5-dev/changelog.Debian.gz
/usr/share/doc/libcryptominisat5-dev/copyright