Fedora Packages

apron-0.9.15-4.fc41 in Fedora Rawhide

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

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

Changelog

Date Author Change
2024-07-17 Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.15-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16 Jerry James <loganjerry at gmail dot com> - 0.9.15-3 - Fix VCS tag
2024-06-19 Richard W.M. Jones <rjones at redhat dot com> - 0.9.15-2 - OCaml 5.2.0 ppc64le fix
2024-06-13 Jerry James <loganjerry at gmail dot com> - 0.9.15-1 - Version 0.9.15
2024-05-29 Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-8 - OCaml 5.2.0 for Fedora 41
2024-05-23 Jerry James <loganjerry at gmail dot com> - 0.9.14-7 - Add patch to fix an internal division case
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

Provides

  • apron
  • apron(x86-64)
  • libap_pkgrid.so()(64bit)
  • libap_ppl.so()(64bit)
  • libap_pplite.so()(64bit)
  • libapron.so()(64bit)
  • libapronxx.so()(64bit)
  • libavoD.so()(64bit)
  • libavoMPQ.so()(64bit)
  • libboxD.so()(64bit)
  • libboxMPFR.so()(64bit)
  • libboxMPQ.so()(64bit)
  • libfppD.so()(64bit)
  • libfppDl.so()(64bit)
  • liboctD.so()(64bit)
  • liboctMPQ.so()(64bit)
  • libpolkaMPQ.so()(64bit)
  • libpolkaRll.so()(64bit)
  • libt1pD.so()(64bit)
  • libt1pMPFR.so()(64bit)
  • libt1pMPQ.so()(64bit)

Files


Sources on Pagure