1 files changed, 0 insertions, 81 deletions
diff --git a/math/cvcl/pkg-plist b/math/cvcl/pkg-plist
deleted file mode 100644
index c82a2d7aa313..000000000000
--- a/math/cvcl/pkg-plist
+++ /dev/null
@@ -1,81 +0,0 @@
-bin/cvcl
-include/cvcl/assumptions.h
-include/cvcl/assumptions_value.h
-include/cvcl/c_interface.h
-include/cvcl/c_interface_defs.h
-include/cvcl/cdflags.h
-include/cvcl/cdlist.h
-include/cvcl/cdmap.h
-include/cvcl/cdmap_ordered.h
-include/cvcl/cdo.h
-include/cvcl/circuit.h
-include/cvcl/clause.h
-include/cvcl/cnf.h
-include/cvcl/cnf_manager.h
-include/cvcl/command_line_exception.h
-include/cvcl/command_line_flags.h
-include/cvcl/common_proof_rules.h
-include/cvcl/compat_hash_map.h
-include/cvcl/compat_hash_set.h
-include/cvcl/context.h
-include/cvcl/cvclutil.h
-include/cvcl/debug.h
-include/cvcl/dpllt.h
-include/cvcl/dpllt_basic.h
-include/cvcl/eval_exception.h
-include/cvcl/exception.h
-include/cvcl/expr.h
-include/cvcl/expr_hash.h
-include/cvcl/expr_manager.h
-include/cvcl/expr_map.h
-include/cvcl/expr_op.h
-include/cvcl/expr_stream.h
-include/cvcl/expr_transform.h
-include/cvcl/expr_value.h
-include/cvcl/fdstream.h
-include/cvcl/kinds.h
-include/cvcl/lang.h
-include/cvcl/memory_manager.h
-include/cvcl/memory_manager_chunks.h
-include/cvcl/memory_manager_malloc.h
-include/cvcl/notifylist.h
-include/cvcl/parser.h
-include/cvcl/proof.h
-include/cvcl/rational.h
-include/cvcl/parser_exception.h
-include/cvcl/pretty_printer.h
-include/cvcl/queryresult.h
-include/cvcl/sat_api.h
-include/cvcl/search.h
-include/cvcl/search_impl_base.h
-include/cvcl/search_sat.h
-include/cvcl/search_simple.h
-include/cvcl/search_fast.h
-include/cvcl/smartcdo.h
-include/cvcl/smtlib_exception.h
-include/cvcl/sound_exception.h
-include/cvcl/statistics.h
-include/cvcl/theorem.h
-include/cvcl/theorem_manager.h
-include/cvcl/theorem_producer.h
-include/cvcl/theory_arith.h
-include/cvcl/theory_array.h
-include/cvcl/theory_bitvector.h
-include/cvcl/theory_core.h
-include/cvcl/type.h
-include/cvcl/theory_datatype.h
-include/cvcl/theory_datatype_lazy.h
-include/cvcl/theory.h
-include/cvcl/theory_quant.h
-include/cvcl/theory_records.h
-include/cvcl/theory_simulate.h
-include/cvcl/theory_uf.h
-include/cvcl/translator.h
-include/cvcl/typecheck_exception.h
-include/cvcl/variable.h
-include/cvcl/vc_cmd.h
-include/cvcl/vc.h
-include/cvcl/vcl.h
-lib/libcvclite.a
-lib/libcvclite.so
-@dirrm include/cvcl