%FILES%
usr/
usr/bin/
usr/lib/
usr/share/
usr/include/
usr/include/cryptominisat5/
usr/include/cryptominisat5/cryptominisat_c.h
usr/include/cryptominisat5/solvertypesmini.h
usr/include/cryptominisat5/cryptominisat.h
usr/share/licenses/
usr/share/licenses/cryptominisat5/
usr/share/licenses/cryptominisat5/LICENSE
usr/lib/libcryptominisat5.so.5.0
usr/lib/libcryptominisat5.so
usr/lib/cmake/
usr/lib/python2.7/
usr/lib/python2.7/site-packages/
usr/lib/python2.7/site-packages/pycryptosat.so
usr/lib/python2.7/site-packages/pycryptosat-5.0.1-py2.7.egg-info
usr/lib/cmake/cryptominisat5/
usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
usr/bin/cryptominisat5_simple
usr/bin/cryptominisat5
