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

z3-libs-4.8.12-2.fc35 RPM for ppc64le

From Fedora 35 for ppc64le / z

Name: z3-libs Distribution: Fedora Project
Version: 4.8.12 Vendor: Fedora Project
Release: 2.fc35 Build date: Sat Jul 24 04:09:21 2021
Group: Unspecified Build host: buildvm-ppc64le-21.iad2.fedoraproject.org
Size: 19224816 Source RPM: z3-4.8.12-2.fc35.src.rpm
Packager: Fedora Project
Url: https://github.com/Z3Prover/z3
Summary: Library for applications that use z3 functionality
 
Library for applications that use z3 functionality.

Provides

Requires

License

MIT

Changelog

* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.12-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
  - Version 4.8.12
* Sun Jun 06 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
  - Version 4.8.11
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 4.8.10-6
  - Rebuilt for Python 3.10
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-5
  - Rebuild for ocaml-zarith 1.12
* Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-4
  - Bump release and rebuild.
* Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-3
  - Bump release and rebuild.
* Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-2
  - OCaml 4.12.0 build
* 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/lib/.build-id
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/de43579af044f34393aaba0e17d8133102671e
/usr/lib64/libz3.so.4.8
/usr/lib64/libz3.so.4.8.12.0
/usr/share/licenses/z3-libs
/usr/share/licenses/z3-libs/LICENSE.txt

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Mar 9 20:33:09 2023