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

z3-debuginfo-4.8.7-6.fc32.1 RPM for armv7hl

From Fedora 32 testing updates for armhfp / debug / Packages / z

Name: z3-debuginfo Distribution: Fedora Project
Version: 4.8.7 Vendor: Fedora Project
Release: 6.fc32.1 Build date: Thu Feb 27 22:28:43 2020
Group: Development/Debug Build host: buildvm-armv7-14.arm.fedoraproject.org
Size: 4826783 Source RPM: z3-4.8.7-6.fc32.1.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

* Thu Feb 27 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-6.1
  - OCaml 4.10.0 final (Fedora 32).
* 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
* Mon Dec 24 2018 Jerry James <loganjerry@gmail.com> - 4.8.4-1
  - New upstream version
  - Drop -no-sse patch, now handled upstream
* Wed Nov 28 2018 Jerry James <loganjerry@gmail.com> - 4.8.3-1
  - New upstream version
* Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 4.8.1-1
  - New upstream version
  - Drop python2 subpackage (bz 1634981)
* Fri Sep 07 2018 Jerry James <loganjerry@gmail.com> - 4.7.1-5
  - Build with SSE2 support on 32-bit x86
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.7.1-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-4
  - OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-3
  - OCaml 4.07.0-rc1 rebuild.
* Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 4.7.1-2
  - Rebuilt for Python 3.7
* Tue May 22 2018 Jerry James <loganjerry@gmail.com> - 4.7.1-1
  - New upstream version (bz 1581516)
  - Drop upstreamed -vector patch

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/a2a3118db701ff95d22700d168e53f2d05010d
/usr/lib/debug/.build-id/b8/a2a3118db701ff95d22700d168e53f2d05010d.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/z3-4.8.7-6.fc32.1.arm
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-4.8.7-6.fc32.1.arm.debug


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 9 15:05:06 2021