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

z3-debuginfo-4.8.9-4.fc33 RPM for x86_64

From Fedora 33 updates for x86_64 / debug / Packages / z

Name: z3-debuginfo Distribution: Fedora Project
Version: 4.8.9 Vendor: Fedora Project
Release: 4.fc33 Build date: Sat Dec 26 17:18:53 2020
Group: Development/Debug Build host: buildvm-x86-11.iad2.fedoraproject.org
Size: 294574796 Source RPM: z3-4.8.9-4.fc33.src.rpm
Packager: Fedora Project
Url: https://github.com/Z3Prover/z3
Summary: Debug information for package z3
This package provides debug information for package z3.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

MIT

Changelog

* 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
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.8-7.1
  - Bump release and rebuild.
* 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
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.5-2
  - OCaml 4.08.0 (final) rebuild.
* Sat Jun 22 2019 Jerry James <loganjerry@gmail.com> - 4.8.5-1
  - New upstream version
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
  - OCaml 4.08.0 (beta 3) rebuild.
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.4-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/693d27005885fcd9da68d81da226cd00dd5ea9
/usr/lib/debug/.build-id/af/693d27005885fcd9da68d81da226cd00dd5ea9.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/z3-4.8.9-4.fc33.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-4.8.9-4.fc33.x86_64.debug


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 16 23:35:37 2021