Fedora Packages

ocaml-z3-4.8.10-2.fc34 in Fedora 34

↵ 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
2021-03-03 Jerry James <loganjerry at gmail dot com> - 4.8.10-2 - Rebuild for ocaml-zarith 1.12
2021-02-13 Jerry James <loganjerry at gmail dot com> - 4.8.10-1 - Version 4.8.10
2021-01-28 Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.9-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-12-25 Jerry James <loganjerry at gmail dot com> - 4.8.9-4 - Fix the python interface (bz 1910923)
2020-11-16 Jerry James <loganjerry at gmail dot com> - 4.8.9-3 - Rebuild for ocaml-zarith 1.11
2020-09-25 Jerry James <loganjerry at gmail dot com> - 4.8.9-2 - Rebuild for ocaml-zarith 1.10
2020-09-11 Jerry James <loganjerry at gmail dot com> - 4.8.9-1 - Version 4.8.9
2020-09-01 Richard W.M. Jones <rjones at redhat dot com> - 4.8.8-7 - OCaml 4.11.1 rebuild
2020-08-21 Richard W.M. Jones <rjones at redhat dot com> - 4.8.8-6 - OCaml 4.11.0 rebuild
2020-07-29 Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.8-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Dependencies

Provides

  • ocaml(Z3)
  • ocaml(Z3enums)
  • ocaml(Z3native)
  • ocaml-z3
  • ocaml-z3(x86-64)
  • ocamlx(Z3)
  • ocamlx(Z3enums)
  • ocamlx(Z3native)

Files


Sources on Pagure