| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: java-z3-debuginfo | Distribution: Fedora Project |
| Version: 4.15.7 | Vendor: Fedora Project |
| Release: 1.fc43 | Build date: Tue Feb 10 16:25:54 2026 |
| Group: Development/Debug | Build host: buildhw-x86-03.rdu3.fedoraproject.org |
| Size: 748853 | Source RPM: z3-4.15.7-1.fc43.src.rpm |
| Packager: Fedora Project | |
| Url: https://github.com/Z3Prover/z3/wiki | |
| Summary: Debug information for package java-z3 | |
This package provides debug information for package java-z3. Debug information is useful when developing applications that use this package or when debugging this package.
MIT
* Tue Feb 10 2026 Jerry James <loganjerry@gmail.com> - 4.15.7-1 - Version 4.15.7 - Make the doc subpackage noarch again * Wed Jan 14 2026 Jerry James <loganjerry@gmail.com> - 4.15.4-2 - Reflow the description text - Be more precise about globbing in %files * Thu Oct 30 2025 Jerry James <loganjerry@gmail.com> - 4.15.4-1 - Version 4.15.4 * Mon Oct 13 2025 Richard W.M. Jones <rjones@redhat.com> - 4.15.3-3 - OCaml 5.4.0 rebuild * Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 4.15.3-2 - Rebuilt for Python 3.14.0rc3 bytecode * Sat Aug 16 2025 Jerry James <loganjerry@gmail.com> - 4.15.3-1 - Version 4.15.3 * Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 4.15.2-5 - Rebuilt for Python 3.14.0rc2 bytecode * Thu Aug 07 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-4 - Stop building on 32-bit x86 - Provide the PyPI name for the python subpackage * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.15.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-2 - Rebuild to fix OCaml dependencies * Wed Jun 25 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-1 - Version 4.15.2 * Wed Jun 11 2025 Jerry James <loganjerry@gmail.com> - 4.15.1-1 - Version 4.15.1 * Mon Jun 02 2025 Python Maint <python-maint@redhat.com> - 4.15.0-2 - Rebuilt for Python 3.14 * Wed May 21 2025 Jerry James <loganjerry@gmail.com> - 4.15.0-1 - Version 4.15.0 * Mon May 05 2025 Yaakov Selkowitz <yselkowi@redhat.com> - 4.14.1-2 - Specify Python bindings installation directory * Tue Mar 11 2025 Jerry James <loganjerry@gmail.com> - 4.14.1-1 - Version 4.14.1 * Tue Mar 04 2025 Jerry James <loganjerry@gmail.com> - 4.14.0-1 - Version 4.14.0 * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.13.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Wed Jan 15 2025 Jerry James <loganjerry@gmail.com> - 4.13.4-2 - Move configuration steps to %conf * Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 4.13.4-1 - Version 4.13.4 * Fri Oct 11 2024 Jerry James <loganjerry@gmail.com> - 4.13.3-1 - Version 4.13.3 * Fri Sep 27 2024 Jerry James <loganjerry@gmail.com> - 4.13.2-1 - Version 4.13.2 * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.13.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 4.13.0-5 - Rebuild for ocaml-zarith 1.14 * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 4.13.0-4 - OCaml 5.2.0 ppc64le fix * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 4.13.0-3 - Rebuilt for Python 3.13 * Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 4.13.0-2 - OCaml 5.2.0 for Fedora 41 * Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 4.13.0-1 - Version 4.13.0 * Sun Feb 25 2024 Jerry James <loganjerry@gmail.com> - 4.12.6-1 - Version 4.12.6
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/7b /usr/lib/debug/.build-id/7b/9baa05523d8cdf0cd3574752cd9ce851d7b029 /usr/lib/debug/.build-id/7b/9baa05523d8cdf0cd3574752cd9ce851d7b029.debug /usr/lib/debug/usr /usr/lib/debug/usr/lib64 /usr/lib/debug/usr/lib64/z3 /usr/lib/debug/usr/lib64/z3/libz3java.so-4.15.7-1.fc43.x86_64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Feb 12 00:11:12 2026