ocaml-z3-devel-4.14.1-2.fc43 in Fedora Rawhide
↵ Return to the main page of ocaml-z3-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-05-05 | Yaakov Selkowitz <yselkowi at redhat dot com> - 4.14.1-2 | - Specify Python bindings installation directory |
| 2025-03-11 | Jerry James <loganjerry at gmail dot com> - 4.14.1-1 | - Version 4.14.1 |
| 2025-03-04 | Jerry James <loganjerry at gmail dot com> - 4.14.0-1 | - Version 4.14.0 |
| 2025-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.13.4-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2025-01-15 | Jerry James <loganjerry at gmail dot com> - 4.13.4-2 | - Move configuration steps to %conf |
| 2024-12-27 | Jerry James <loganjerry at gmail dot com> - 4.13.4-1 | - Version 4.13.4 |
| 2024-10-11 | Jerry James <loganjerry at gmail dot com> - 4.13.3-1 | - Version 4.13.3 |
| 2024-09-27 | Jerry James <loganjerry at gmail dot com> - 4.13.2-1 | - Version 4.13.2 |
| 2024-07-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.13.0-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-07-16 | Jerry James <loganjerry at gmail dot com> - 4.13.0-5 | - Rebuild for ocaml-zarith 1.14 |
Dependencies
- ocaml = aa550bdab521d60e769a9ad43a677e65
- ocaml-runtime = aa550bdab521d60e769a9ad43a677e65
- ocaml-z3 = 4.14.1-2.fc43
- ocaml-zarith = fded9f6db30753026b5c2d3012382e71
- ocaml-zarith-devel = fded9f6db30753026b5c2d3012382e71
Provides
- ocaml(Z3)
- ocaml(Z3enums)
- ocaml(Z3native)
- ocaml-z3-devel
- ocaml-z3-devel(x86-64)
- ocamlx(Z3)
- ocamlx(Z3enums)
- ocamlx(Z3native)
Files
- usr/
- lib64/
- ocaml/
- Z3/
- libz3ml.a
- z3.cmx
- z3.mli
- z3enums.cmx
- z3enums.mli
- z3ml.a
- z3ml.cmxa
- z3native.cmx
- z3native.mli
- Z3/
- ocaml/
- lib64/
Sources on Pagure