Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

z3-devel-4.8.12-1.fc34 RPM for armv7hl

From Fedora 34 updates for armhfp / Packages / z

Name: z3-devel Distribution: Fedora Project
Version: 4.8.12 Vendor: Fedora Project
Release: 1.fc34 Build date: Tue Jul 13 22:10:47 2021
Group: Unspecified Build host: buildvm-a32-05.iad2.fedoraproject.org
Size: 511694 Source RPM: z3-4.8.12-1.fc34.src.rpm
Packager: Fedora Project
Url: https://github.com/Z3Prover/z3
Summary: Header files for build applications that use z3
Header files for build applications that use z3.

Provides

Requires

License

MIT

Changelog

* Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
  - Version 4.8.12
* Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
  - Version 4.8.11
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-2
  - Rebuild for ocaml-zarith 1.12
* Sat Feb 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-1
  - Version 4.8.10
* Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.9-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Fri Dec 25 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-4
  - Fix the python interface (bz 1910923)
* Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-3
  - Rebuild for ocaml-zarith 1.11
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-2
  - Rebuild for ocaml-zarith 1.10
* Fri Sep 11 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-1
  - Version 4.8.9
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.8-7
  - OCaml 4.11.1 rebuild
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.8-6
  - OCaml 4.11.0 rebuild
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.8-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 27 2020 Jerry James <loganjerry@gmail.com> - 4.8.8-4
  - Build with cmake
  - Manually build the OCaml interface
  - Limit the class file version in the Java interface
  - Allow the library to hide internal symbols; this means that the binary can no
    longer be linked with the library, so the main package does not depend on
    the -libs package
  - The python package no longer contains an ELF object, so make it noarch
* Sat Jul 11 2020 Jiri Vanek <jvanek@redhat.com> - 4.8.8-4
  - Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
* Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 4.8.8-3
  - Rebuilt for Python 3.9
* Thu May 14 2020 Wolfgang Stöggl <c72578@yahoo.de> - 4.8.8-2
  - Add Z3 cmake files required by find_package(Z3)
* Sat May 09 2020 Jerry James <loganjerry@gmail.com> - 4.8.8-1
  - Version 4.8.8
  - Drop all patches; all have been upstreamed
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-10
  - OCaml 4.11.0+dev2-2020-04-22 rebuild
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-9
  - OCaml 4.11.0 pre-release attempt 2
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-8
  - OCaml 4.11.0 pre-release
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-7
  - Update all OCaml dependencies for RPM 4.16.
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-6
  - OCaml 4.10.0 final.
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.7-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Tue Jan 21 2020 Jerry James <loganjerry@gmail.com> - 4.8.7-4
  - Make -doc be archful (bz 1792740)
  - Add -signed-char and -gcc-10-s390x patches
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-4
  - OCaml 4.10.0+beta1 rebuild.
* Fri Jan 10 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-3
  - OCaml 4.09.0 for riscv64
* Sat Dec 07 2019 Jerry James <loganjerry@gmail.com> - 4.8.7-2
  - OCaml 4.09.0 (final) rebuild
* Thu Nov 21 2019 Jerry James <loganjerry@gmail.com> - 4.8.7-1
  - New upstream version
  - Add -ocamldoc patch to fix documentation build failure
  - Add -trailing-zeros32 patch to fix build failures on some platforms
* Fri Sep 20 2019 Jerry James <loganjerry@gmail.com> - 4.8.6-1
  - New upstream version
* Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 4.8.5-6
  - Rebuilt for Python 3.8
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.5-5
  - OCaml 4.08.1 (final) rebuild.
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.5-4
  - OCaml 4.08.1 (rc2) rebuild.
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.5-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

Files

/usr/include/z3
/usr/include/z3/z3++.h
/usr/include/z3/z3.h
/usr/include/z3/z3_algebraic.h
/usr/include/z3/z3_api.h
/usr/include/z3/z3_ast_containers.h
/usr/include/z3/z3_fixedpoint.h
/usr/include/z3/z3_fpa.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_optimization.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_spacer.h
/usr/include/z3/z3_v1.h
/usr/include/z3/z3_version.h
/usr/lib/cmake/z3
/usr/lib/cmake/z3/Z3Config.cmake
/usr/lib/cmake/z3/Z3ConfigVersion.cmake
/usr/lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
/usr/lib/cmake/z3/Z3Targets.cmake
/usr/lib/libz3.so
/usr/lib/pkgconfig/z3.pc


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 25 23:49:30 2021