Fedora Packages

apron-0.9.15-7.fc43 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
2025-06-07 Jerry James <loganjerry at gmail dot com> - 0.9.15-7 - Rebuild for bumped ocaml-mlgmpidl
2025-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.15-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-12-27 Jerry James <loganjerry at gmail dot com> - 0.9.15-5 - Prevent segfaults in the OCaml garbage collector - Move configuration steps to %conf
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

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