mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
21 lines
564 B
Plaintext
21 lines
564 B
Plaintext
bin/cvc5
|
|
include/cvc5/c/cvc5.h
|
|
include/cvc5/cvc5.h
|
|
include/cvc5/cvc5_export.h
|
|
include/cvc5/cvc5_kind.h
|
|
include/cvc5/cvc5_parser.h
|
|
include/cvc5/cvc5_proof_rule.h
|
|
include/cvc5/cvc5_types.h
|
|
lib/cmake/cvc5/cvc5Config.cmake
|
|
lib/cmake/cvc5/cvc5ConfigVersion.cmake
|
|
lib/cmake/cvc5/cvc5JavaTargets.cmake
|
|
lib/cmake/cvc5/cvc5Targets-%%CMAKE_BUILD_TYPE%%.cmake
|
|
lib/cmake/cvc5/cvc5Targets.cmake
|
|
lib/libcvc5.so
|
|
lib/libcvc5.so.1
|
|
%%JAVA%%lib/libcvc5jni.so
|
|
lib/libcvc5parser.so
|
|
lib/libcvc5parser.so.1
|
|
%%JAVA%%%%JAVASHAREDIR%%/cvc5-%%VERSION%%.jar
|
|
%%JAVA%%%%JAVASHAREDIR%%/cvc5.jar
|