Fedora Packages

ocaml-apron-devel-0.9.14-7.fc40 in Fedora 40

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

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

Changelog

Date Author Change
2024-03-13 Jerry James <loganjerry at gmail dot com> - 0.9.14-7 - Rebuild for flint 3.1.0
2024-01-22 Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.14-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.14-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-12-18 Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-4 - OCaml 5.1.1 + s390x code gen fix for Fedora 40
2023-12-12 Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-3 - OCaml 5.1.1 rebuild for Fedora 40
2023-10-05 Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-2 - OCaml 5.1 rebuild for Fedora 40
2023-10-04 Jerry James <loganjerry at gmail dot com> - 0.9.14-1 - Add upstream patch for a japron hasVar bug
2023-09-22 Jerry James <loganjerry at gmail dot com> - 0.9.14-1 - Version 0.9.14 - Add patch to fix japron linkage - Omit timestamps from generated documentation
2023-08-05 Jerry James <loganjerry at gmail dot com> - 0.9.14-0.6.beta.2 - Fix failure to install (rhbz#2229356)
2023-08-03 Jerry James <loganjerry at gmail dot com> - 0.9.14-0.5.beta.2 - Enable pplite support

Dependencies

Provides

  • ocaml(Apron)
  • ocaml(Avo)
  • ocaml(Box)
  • ocaml(Fpp)
  • ocaml(Oct)
  • ocaml(Polka)
  • ocaml(PolkaGrid)
  • ocaml(Ppl)
  • ocaml(Pplite)
  • ocaml(T1p)
  • ocaml-apron-devel
  • ocaml-apron-devel(x86-64)
  • ocamlx(Apron)
  • ocamlx(Avo)
  • ocamlx(Box)
  • ocamlx(Fpp)
  • ocamlx(Oct)
  • ocamlx(Polka)
  • ocamlx(PolkaGrid)
  • ocamlx(Ppl)
  • ocamlx(Pplite)
  • ocamlx(T1p)

Files


Sources on Pagure