%FILES%
usr/
usr/bin/
usr/bin/cadical
usr/bin/mobical
usr/include/
usr/include/cadical/
usr/include/cadical/cadical.hpp
usr/include/cadical/ccadical.h
usr/include/cadical/ipasir.h
usr/include/cadical/tracer.hpp
usr/lib/
usr/lib/libcadical.so
usr/share/
usr/share/doc/
usr/share/doc/cadical/
usr/share/doc/cadical/BUILD.md
usr/share/doc/cadical/README.md
usr/share/licenses/
usr/share/licenses/cadical/
usr/share/licenses/cadical/LICENSE
usr/share/licenses/cadical/craigtracer.LICENSE.MIT
