java-z3-4.8.15-2.el9 in Fedora EPEL 9
↵ 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 |
|---|---|---|
| 2022-03-24 | Jerry James <loganjerry at gmail dot com> - 4.8.15-2 | - Add -ambiguous-overload patch to fix cppcheck build failure |
| 2022-03-21 | Jerry James <loganjerry at gmail dot com> - 4.8.15-1 | - Version 4.8.15 |
| 2022-02-05 | Jiri Vanek <jvanek at redhat dot com> - 4.8.14-4 | - Rebuilt for java-17-openjdk as system jdk |
| 2022-02-04 | Richard W.M. Jones <rjones at redhat dot com> - 4.8.14-3 | - OCaml 4.13.1 rebuild to remove package notes |
| 2022-01-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.14-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild |
| 2021-12-24 | Jerry James <loganjerry at gmail dot com> - 4.8.14-1 | - Version 4.8.14 - Conditionalize the %check script |
| 2021-11-19 | Jerry James <loganjerry at gmail dot com> - 4.8.13-1 | - Version 4.8.13 |
| 2021-10-04 | Richard W.M. Jones <rjones at redhat dot com> - 4.8.12-3 | - OCaml 4.13.1 build |
| 2021-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.12-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-07-13 | Jerry James <loganjerry at gmail dot com> - 4.8.12-1 | - Version 4.8.12 |
Dependencies
Provides
- java-z3
- java-z3(x86-64)
- libz3java.so()(64bit)
Files
- usr/
- lib/
- .build-id/
- 51/
- 25257a3801b41267a58b94399acfaa7c9ae12a
- 51/
- java/
- com.microsoft.z3-4.8.15.0.jar
- com.microsoft.z3.jar
- .build-id/
- lib64/
- z3/
- com.microsoft.z3.jar
- libz3java.so
- z3/
- lib/
Sources on Pagure