diff options
Diffstat (limited to 'math/cvc3/pkg-plist')
| -rw-r--r-- | math/cvc3/pkg-plist | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/math/cvc3/pkg-plist b/math/cvc3/pkg-plist index 528151be4b7a..eaa858dba45c 100644 --- a/math/cvc3/pkg-plist +++ b/math/cvc3/pkg-plist @@ -33,6 +33,7 @@ include/cvc3/expr_stream.h include/cvc3/expr_transform.h include/cvc3/expr_value.h include/cvc3/fdstream.h +include/cvc3/formula_value.h include/cvc3/hash_fun.h include/cvc3/hash_map.h include/cvc3/hash_set.h @@ -66,6 +67,7 @@ include/cvc3/theorem_manager.h include/cvc3/theorem_producer.h include/cvc3/theory.h include/cvc3/theory_arith.h +include/cvc3/theory_arith3.h include/cvc3/theory_arith_new.h include/cvc3/theory_arith_old.h include/cvc3/theory_array.h @@ -85,4 +87,8 @@ include/cvc3/vc.h include/cvc3/vc_cmd.h include/cvc3/vcl.h lib/libcvc3.so +lib/libcvc3.so.5 +lib/libcvc3.so.5.0 +lib/libcvc3.so.5.0.0 +libdata/pkgconfig/cvc3.pc @dirrm include/cvc3 |