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

java-z3-4.8.12-3.fc36 RPM for x86_64

From Fedora Rawhide for x86_64 / j

Name: java-z3 Distribution: Fedora Project
Version: 4.8.12 Vendor: Fedora Project
Release: 3.fc36 Build date: Mon Oct 4 21:50:16 2021
Group: Unspecified Build host: buildvm-x86-03.iad2.fedoraproject.org
Size: 385562 Source RPM: z3-4.8.12-3.fc36.src.rpm
Packager: Fedora Project
Url: https://github.com/Z3Prover/z3
Summary: Java interface to z3
Java interface to z3.

Provides

Requires

License

MIT

Changelog

* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.12-3
  - OCaml 4.13.1 build
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/366b316114bd87bd73df2b9be51e2072c592ba
/usr/lib/java/com.microsoft.z3-4.8.12.0.jar
/usr/lib/java/com.microsoft.z3.jar
/usr/lib64/z3
/usr/lib64/z3/com.microsoft.z3.jar
/usr/lib64/z3/libz3java.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Nov 15 23:40:40 2021