Fedora Packages

ocaml-why3-1.7.2-1.fc40 in Fedora 40

↵ Return to the main page of ocaml-why3
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2024-04-18 Jerry James <loganjerry at gmail dot com> - 1.7.2-1 - Version 1.7.2
2024-03-25 Richard W.M. Jones <rjones at redhat dot com> - 1.7.1-3 - Use %{bash_completions_dir} macro
2024-02-02 Jerry James <loganjerry at gmail dot com> - 1.7.1-2 - Build again because koji ran out of disk space
2024-02-02 Jerry James <loganjerry at gmail dot com> - 1.7.1-1 - Version 1.7.1
2024-01-27 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-02 Jerry James <loganjerry at gmail dot com> - 1.7.0-1 - Version 1.7.0 - Drop upstreamed coq patch
2023-12-18 Richard W.M. Jones <rjones at redhat dot com> - 1.6.0-9 - OCaml 5.1.1 + s390x code gen fix for Fedora 40
2023-12-12 Richard W.M. Jones <rjones at redhat dot com> - 1.6.0-8 - OCaml 5.1.1 rebuild for Fedora 40
2023-10-05 Richard W.M. Jones <rjones at redhat dot com> - 1.6.0-7 - OCaml 5.1 rebuild for Fedora 40
2023-09-09 Jerry James <loganjerry at gmail dot com> - 1.6.0-6 - Rebuild for ocaml-ocamlgraph 2.1.0

Dependencies

Provides

  • ocaml(Why3)
  • ocaml-why3
  • ocaml-why3(x86-64)

Files


Sources on Pagure