Zoznam súborov balíka libcryptominisat5-dev v aramo architektúry amd64

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