Bestandenoverzicht voor pakket libcryptominisat5-dev in aramo voor het platform armhf

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