cvc3-devel-2.4.1-1.fc15 RPM for i686

From Fedora 15 updates for x86_64

Header files need to develop with CVC3.

Provides

• cvc3-devel
• pkgconfig(cvc3)
• cvc3-devel(x86-32)

Requires

• /usr/bin/pkg-config
• cvc3(x86-32)
• libcvc3.so.5
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) >= 5.2-1

License

BSD and MIT

Changelog

* Tue Sep 06 2011 Jerry James <loganjerry@gmail.com> - 2.4.1-1
  - New upstream version
  - Drop unnecessary spec file elements (BuildRoot, etc.)
  - Don't run the Java tests; they can't find the JNI shared objects
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Thu Jun 03 2010 Jerry James <loganjerry@gmail.com> - 2.2-2
  - Add python BR (bz 599887)
* Thu Nov 19 2009 Jerry James <loganjerry@gmail.com> - 2.2-1
  - Update to 2.2
  - Drop upstreamed patches (gcc4 and java)
* Tue Oct 27 2009 Jerry James <loganjerry@gmail.com> - 2.1-3
  - Drop the graphviz BR to block generation of huge class graphs
  - Use the new (X)Emacs RPM macros to simplify the spec file
* Mon Oct 19 2009 Jerry James <loganjerry@gmail.com> - 2.1-2
  - Fix problems found on review
  - Enable the Java interface
* Thu Oct 15 2009 Jerry James <loganjerry@gmail.com> - 2.1-1
  - Initial RPM

Files

/usr/include/cvc3
/usr/include/cvc3/assumptions.h
/usr/include/cvc3/c_interface.h
/usr/include/cvc3/c_interface_defs.h
/usr/include/cvc3/cdflags.h
/usr/include/cvc3/cdlist.h
/usr/include/cvc3/cdmap.h
/usr/include/cvc3/cdmap_ordered.h
/usr/include/cvc3/cdo.h
/usr/include/cvc3/circuit.h
/usr/include/cvc3/clause.h
/usr/include/cvc3/cnf.h
/usr/include/cvc3/cnf_manager.h
/usr/include/cvc3/command_line_exception.h
/usr/include/cvc3/command_line_flags.h
/usr/include/cvc3/common_proof_rules.h
/usr/include/cvc3/compat_hash_map.h
/usr/include/cvc3/compat_hash_set.h
/usr/include/cvc3/context.h
/usr/include/cvc3/cvc_util.h
/usr/include/cvc3/debug.h
/usr/include/cvc3/dpllt.h
/usr/include/cvc3/dpllt_basic.h
/usr/include/cvc3/dpllt_minisat.h
/usr/include/cvc3/eval_exception.h
/usr/include/cvc3/exception.h
/usr/include/cvc3/expr.h
/usr/include/cvc3/expr_hash.h
/usr/include/cvc3/expr_manager.h
/usr/include/cvc3/expr_map.h
/usr/include/cvc3/expr_op.h
/usr/include/cvc3/expr_stream.h
/usr/include/cvc3/expr_transform.h
/usr/include/cvc3/expr_value.h
/usr/include/cvc3/fdstream.h
/usr/include/cvc3/formula_value.h
/usr/include/cvc3/hash_fun.h
/usr/include/cvc3/hash_map.h
/usr/include/cvc3/hash_set.h
/usr/include/cvc3/hash_table.h
/usr/include/cvc3/kinds.h
/usr/include/cvc3/lang.h
/usr/include/cvc3/memory_manager.h
/usr/include/cvc3/memory_manager_chunks.h
/usr/include/cvc3/memory_manager_context.h
/usr/include/cvc3/memory_manager_malloc.h
/usr/include/cvc3/notifylist.h
/usr/include/cvc3/os.h
/usr/include/cvc3/parser.h
/usr/include/cvc3/parser_exception.h
/usr/include/cvc3/pretty_printer.h
/usr/include/cvc3/proof.h
/usr/include/cvc3/queryresult.h
/usr/include/cvc3/rational.h
/usr/include/cvc3/sat_api.h
/usr/include/cvc3/search.h
/usr/include/cvc3/search_fast.h
/usr/include/cvc3/search_impl_base.h
/usr/include/cvc3/search_sat.h
/usr/include/cvc3/search_simple.h
/usr/include/cvc3/smartcdo.h
/usr/include/cvc3/smtlib_exception.h
/usr/include/cvc3/sound_exception.h
/usr/include/cvc3/statistics.h
/usr/include/cvc3/theorem.h
/usr/include/cvc3/theorem_manager.h
/usr/include/cvc3/theorem_producer.h
/usr/include/cvc3/theory.h
/usr/include/cvc3/theory_arith.h
/usr/include/cvc3/theory_arith3.h
/usr/include/cvc3/theory_arith_new.h
/usr/include/cvc3/theory_arith_old.h
/usr/include/cvc3/theory_array.h
/usr/include/cvc3/theory_bitvector.h
/usr/include/cvc3/theory_core.h
/usr/include/cvc3/theory_datatype.h
/usr/include/cvc3/theory_datatype_lazy.h
/usr/include/cvc3/theory_quant.h
/usr/include/cvc3/theory_records.h
/usr/include/cvc3/theory_simulate.h
/usr/include/cvc3/theory_uf.h
/usr/include/cvc3/translator.h
/usr/include/cvc3/type.h
/usr/include/cvc3/typecheck_exception.h
/usr/include/cvc3/variable.h
/usr/include/cvc3/vc.h
/usr/include/cvc3/vc_cmd.h
/usr/include/cvc3/vcl.h
/usr/lib/libcvc3.so
/usr/lib/pkgconfig/cvc3.pc

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 20 07:32:46 2013