File list of package libcryptominisat5-dev in trixie of architecture 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/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/share/doc/libcryptominisat5-dev/changelog.Debian.armhf.gz
/usr/share/doc/libcryptominisat5-dev/changelog.Debian.gz
/usr/share/doc/libcryptominisat5-dev/copyright