ocaml-z3-4.8.15-2.el9 in EPEL 9
↵ Return to the main page of ocaml-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
- ocaml-zarith = 90aa2591a6a91c1b5a40d6a0def33e14
- ocaml-zarith-devel = 90aa2591a6a91c1b5a40d6a0def33e14
- z3-libs
Provides
- ocaml(Z3)
- ocaml(Z3enums)
- ocaml(Z3native)
- ocaml-z3
- ocaml-z3(x86-64)
- ocamlx(Z3)
- ocamlx(Z3enums)
- ocamlx(Z3native)
Files
- usr/
- lib/
- .build-id/
- 0d/
- 49c27a8630a1ca9f82770ab6d17bfac15df970
- 57/
- 95c05386d55d0b64cfa37213010c5eb72b99ec
- 0d/
- .build-id/
- lib64/
- ocaml/
- Z3/
- META
- z3.cmi
- z3enums.cmi
- z3ml.cma
- z3ml.cmxs
- z3native.cmi
- stublibs/
- dllz3ml.so
- Z3/
- ocaml/
- lib/
Sources on Pagure