cvc4-devel-1.8-13.fc37 RPM for x86_64

From Fedora 37 updates for x86_64 / Packages / c

Header files and library links for developing applications that use cvc4.

Provides

• cvc4-devel
• cmake(CVC4)
• cmake(cvc4)
• cvc4-devel(x86-64)

Requires

• cmake-filesystem(x86-64)
• cvc4-libs(x86-64) = 1.8-13.fc37
• libcvc4.so.7()(64bit)
• libcvc4parser.so.7()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

BSD-3-Clause AND MIT

Changelog

* Tue Oct 11 2022 Jerry James <loganjerry@gmail.com> - 1.8-13
  - Add -bash-patsub-replacement patch to fix build with bash 5.2 (bz 2133760)
  - Add -toml patch and drop python3-toml BR
* Mon Aug 15 2022 Jerry James <loganjerry@gmail.com> - 1.8-12
  - Convert License tag to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.8-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.8-11
  - Drop support for i686 due to ANTLR unavailability
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 1.8-11
  - Rebuilt for Python 3.11
* Fri Mar 04 2022 Jerry James <loganjerry@gmail.com> - 1.8-10
  - Remove . from %cmake invocation to fix FTBFS (rhbz#2060821)
  - Drop -const-map-key patch now that gcc has been fixed
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 1.8-9
  - Rebuilt for java-17-openjdk as system jdk
* Sat Jan 22 2022 Jerry James <loganjerry@gmail.com> - 1.8-8
  - Add -const-map-key patch to fix FTBFS
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.8-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
  - Use the default linker
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.8-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 1.8-6
  - Rebuilt for Python 3.10
* Wed Jun 02 2021 Jerry James <loganjerry@gmail.com> - 1.8-5
  - Remove spurious rpaths (bz 1967190)
  - Fix broken jar symlink
  - Add missing executable bit to python shared object
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.8-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Wed Jan 20 2021 Jerry James <loganjerry@gamil.com> - 1.8-3
  - Add -dup-decl patch to fix FTBFS with recent LFSC versions
* Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 1.8-2
  - Rebuild for cryptominisat 5.8.0

Files

/usr/include/cvc4
/usr/include/cvc4/api
/usr/include/cvc4/api/cvc4cpp.h
/usr/include/cvc4/api/cvc4cppkind.h
/usr/include/cvc4/base
/usr/include/cvc4/base/configuration.h
/usr/include/cvc4/base/exception.h
/usr/include/cvc4/base/listener.h
/usr/include/cvc4/base/modal_exception.h
/usr/include/cvc4/context
/usr/include/cvc4/context/cdhashmap_forward.h
/usr/include/cvc4/context/cdhashset_forward.h
/usr/include/cvc4/context/cdinsert_hashmap_forward.h
/usr/include/cvc4/context/cdlist_forward.h
/usr/include/cvc4/cvc4.h
/usr/include/cvc4/cvc4_public.h
/usr/include/cvc4/cvc4parser_public.h
/usr/include/cvc4/expr
/usr/include/cvc4/expr/array.h
/usr/include/cvc4/expr/array_store_all.h
/usr/include/cvc4/expr/ascription_type.h
/usr/include/cvc4/expr/datatype.h
/usr/include/cvc4/expr/emptyset.h
/usr/include/cvc4/expr/expr.h
/usr/include/cvc4/expr/expr_iomanip.h
/usr/include/cvc4/expr/expr_manager.h
/usr/include/cvc4/expr/expr_sequence.h
/usr/include/cvc4/expr/kind.h
/usr/include/cvc4/expr/record.h
/usr/include/cvc4/expr/symbol_table.h
/usr/include/cvc4/expr/type.h
/usr/include/cvc4/expr/uninterpreted_constant.h
/usr/include/cvc4/expr/variable_type_map.h
/usr/include/cvc4/options
/usr/include/cvc4/options/language.h
/usr/include/cvc4/options/option_exception.h
/usr/include/cvc4/options/options.h
/usr/include/cvc4/options/printer_modes.h
/usr/include/cvc4/options/set_language.h
/usr/include/cvc4/parser
/usr/include/cvc4/parser/input.h
/usr/include/cvc4/parser/parse_op.h
/usr/include/cvc4/parser/parser.h
/usr/include/cvc4/parser/parser_builder.h
/usr/include/cvc4/parser/parser_exception.h
/usr/include/cvc4/printer
/usr/include/cvc4/printer/sygus_print_callback.h
/usr/include/cvc4/proof
/usr/include/cvc4/proof/unsat_core.h
/usr/include/cvc4/smt
/usr/include/cvc4/smt/command.h
/usr/include/cvc4/smt/logic_exception.h
/usr/include/cvc4/smt/smt_engine.h
/usr/include/cvc4/theory
/usr/include/cvc4/theory/logic_info.h
/usr/include/cvc4/theory/theory_id.h
/usr/include/cvc4/util
/usr/include/cvc4/util/abstract_value.h
/usr/include/cvc4/util/bitvector.h
/usr/include/cvc4/util/bool.h
/usr/include/cvc4/util/cardinality.h
/usr/include/cvc4/util/divisible.h
/usr/include/cvc4/util/floatingpoint.h
/usr/include/cvc4/util/gmp_util.h
/usr/include/cvc4/util/hash.h
/usr/include/cvc4/util/integer.h
/usr/include/cvc4/util/integer_cln_imp.h
/usr/include/cvc4/util/integer_gmp_imp.h
/usr/include/cvc4/util/maybe.h
/usr/include/cvc4/util/proof.h
/usr/include/cvc4/util/rational.h
/usr/include/cvc4/util/rational_cln_imp.h
/usr/include/cvc4/util/rational_gmp_imp.h
/usr/include/cvc4/util/regexp.h
/usr/include/cvc4/util/resource_manager.h
/usr/include/cvc4/util/result.h
/usr/include/cvc4/util/sexpr.h
/usr/include/cvc4/util/statistics.h
/usr/include/cvc4/util/string.h
/usr/include/cvc4/util/tuple.h
/usr/include/cvc4/util/unsafe_interrupt_exception.h
/usr/lib64/cmake/CVC4
/usr/lib64/cmake/CVC4/CVC4Config.cmake
/usr/lib64/cmake/CVC4/CVC4ConfigVersion.cmake
/usr/lib64/cmake/CVC4/CVC4JavaTargets.cmake
/usr/lib64/cmake/CVC4/CVC4Targets-production.cmake
/usr/lib64/cmake/CVC4/CVC4Targets.cmake
/usr/lib64/libcvc4.so
/usr/lib64/libcvc4parser.so
/usr/share/man/man3/SmtEngine.3cvc.gz
/usr/share/man/man3/libcvc4.3.gz
/usr/share/man/man3/libcvc4parser.3.gz
/usr/share/man/man3/options.3cvc.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 18:50:33 2024