%FILES%
usr/
usr/bin/
usr/bin/cvc5
usr/include/
usr/include/cvc5/
usr/include/cvc5/c/
usr/include/cvc5/c/cvc5.h
usr/include/cvc5/c/cvc5_parser.h
usr/include/cvc5/cvc5.h
usr/include/cvc5/cvc5_export.h
usr/include/cvc5/cvc5_kind.h
usr/include/cvc5/cvc5_parser.h
usr/include/cvc5/cvc5_proof_rule.h
usr/include/cvc5/cvc5_skolem_id.h
usr/include/cvc5/cvc5_types.h
usr/lib/
usr/lib/cmake/
usr/lib/cmake/cvc5/
usr/lib/cmake/cvc5/cvc5Config.cmake
usr/lib/cmake/cvc5/cvc5ConfigVersion.cmake
usr/lib/cmake/cvc5/cvc5JavaTargets.cmake
usr/lib/cmake/cvc5/cvc5Targets-production.cmake
usr/lib/cmake/cvc5/cvc5Targets.cmake
usr/lib/libcvc5.so
usr/lib/libcvc5.so.1
usr/lib/libcvc5jni.so
usr/lib/libcvc5parser.so
usr/lib/libcvc5parser.so.1
usr/share/
usr/share/java/
usr/share/java/cvc5-1.3.0.jar
usr/share/java/cvc5.jar
usr/share/licenses/
usr/share/licenses/cvc5/
usr/share/licenses/cvc5/LICENSE
