java-z3-4.15.4-1.fc43 in Fedora 43
↵ Return to the main page of java-z3
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-10-30 | Jerry James <loganjerry at gmail dot com> - 4.15.4-1 | - Version 4.15.4 |
| 2025-10-13 | Richard W.M. Jones <rjones at redhat dot com> - 4.15.3-3 | - OCaml 5.4.0 rebuild |
| 2025-09-19 | Python Maint <python dash maint at redhat dot com> - 4.15.3-2 | - Rebuilt for Python 3.14.0rc3 bytecode |
| 2025-08-16 | Jerry James <loganjerry at gmail dot com> - 4.15.3-1 | - Version 4.15.3 |
| 2025-08-15 | Python Maint <python dash maint at redhat dot com> - 4.15.2-5 | - Rebuilt for Python 3.14.0rc2 bytecode |
| 2025-08-07 | Jerry James <loganjerry at gmail dot com> - 4.15.2-4 | - Stop building on 32-bit x86 - Provide the PyPI name for the python subpackage |
| 2025-07-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.15.2-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-07-11 | Jerry James <loganjerry at gmail dot com> - 4.15.2-2 | - Rebuild to fix OCaml dependencies |
| 2025-06-25 | Jerry James <loganjerry at gmail dot com> - 4.15.2-1 | - Version 4.15.2 |
| 2025-06-11 | Jerry James <loganjerry at gmail dot com> - 4.15.1-1 | - Version 4.15.1 |
Dependencies
Provides
- java-z3
- java-z3(x86-64)
- libz3java.so()(64bit)
Files
- usr/
- lib/
- .build-id/
- d0/
- ada8a9ba5a71f0e09ce4aae850e5e88ed3edcd
- d0/
- java/
- com.microsoft.z3.jar
- .build-id/
- lib64/
- z3/
- com.microsoft.z3.jar
- libz3java.so
- z3/
- lib/
Sources on Pagure