apron-0.9.15-11.fc44 RPM for ppc64le

From Fedora Rawhide for ppc64le / a

The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation.  The aim of such an
analysis is to infer invariants about these variables, like 1<=x+y<=z,
which holds during any execution of the program.

The APRON library is intended to be a common interface to various
underlying libraries/abstract domains and to provide additional services
that can be implemented independently from the underlying
library/abstract domain.

Provides

• apron
• apron(ppc-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)

Requires

• ld64.so.2()(64bit)
• ld64.so.2(GLIBC_2.22)(64bit)
• ld64.so.2(GLIBC_2.23)(64bit)
• libap_ppl.so()(64bit)
• libapron.so()(64bit)
• libboxD.so()(64bit)
• libboxMPFR.so()(64bit)
• libboxMPQ.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libglpk.so.40()(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.32)(64bit)
• libmpfr.so.6()(64bit)
• libpolkaMPQ.so()(64bit)
• libppl.so.14()(64bit)
• libpplite.so.5()(64bit)
• libsdp.so.6()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.7)(64bit)
• libstdc++.so.6(CXXABI_1.3.8)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later

Changelog

* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-11
  - OCaml 5.4.0 rebuild
* Tue Jul 29 2025 Jiri Vanek <jvanek@redhat.com> - 0.9.15-10
  - Rebuilt for java-25-openjdk as preffered jdk
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-8
  - Rebuild to fix OCaml dependencies
* Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-7
  - Rebuild for bumped ocaml-mlgmpidl
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-5
  - Prevent segfaults in the OCaml garbage collector
  - Move configuration steps to %conf
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-3
  - Fix VCS tag
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-2
  - OCaml 5.2.0 ppc64le fix
* Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-1
  - Version 0.9.15
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-8
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7
  - Add patch to fix an internal division case
* Wed Mar 13 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7
  - Rebuild for flint 3.1.0
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-4
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3
  - OCaml 5.1.1 rebuild for Fedora 40

Files

/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/8e02cc8bc8daab33b918f9a0a25d4cb4ed91d9
/usr/lib/.build-id/12
/usr/lib/.build-id/12/d52dab3e639c4c7466514846674da8540eb1fc
/usr/lib/.build-id/15
/usr/lib/.build-id/15/306bd7cf65d784f4776a200a0ffeb02827f168
/usr/lib/.build-id/23
/usr/lib/.build-id/23/32525166b2d6201885a44b94d7007c7bae0681
/usr/lib/.build-id/25
/usr/lib/.build-id/25/4d14ab4805a76f249dd5557b40c65994c46cd3
/usr/lib/.build-id/37
/usr/lib/.build-id/37/eef40ad6894729a4a621e4e4d7f95f81c8be72
/usr/lib/.build-id/46
/usr/lib/.build-id/46/b8f1286c133982f418d2f0a553a7f2a80b3992
/usr/lib/.build-id/58
/usr/lib/.build-id/58/6ea6026b025889f9aab48d45c3458663a6c4f5
/usr/lib/.build-id/73
/usr/lib/.build-id/73/6114e5920aa51045d0093288c47a34d0b51c48
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/412758940ec64f2d94f2267876e3688694ee1f
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/2cb267c8e3ce0a92836b19b7e8687dc4d2d92f
/usr/lib/.build-id/d5
/usr/lib/.build-id/d5/acb4d106006a8dc6ef688c9e2911854bace4c3
/usr/lib/.build-id/da
/usr/lib/.build-id/da/47377361da6f9f685e03b43c7a290ea8b7a519
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/0647476c953da1ce60d7e0cdec32bc165ab1f4
/usr/lib/.build-id/e6/db25bae8c6dc6e40dac7389a1056e2f41c8c57
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/28381295d454487d110000521ae23d99bb09ec
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/b1b19993fb83ffa3186af220942c14d5bbd4f9
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/23198c6e33a9adf942e3256308a441435dcdeb
/usr/lib/.build-id/f8
/usr/lib/.build-id/f8/ae875740ad1b32be6b2d27b89fafdac65681bb
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.15
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.15
/usr/lib64/libap_pplite.so.0
/usr/lib64/libap_pplite.so.0.9.15
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.15
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.15
/usr/lib64/libavoD.so.0
/usr/lib64/libavoD.so.0.9.15
/usr/lib64/libavoMPQ.so.0
/usr/lib64/libavoMPQ.so.0.9.15
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.15
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.15
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.15
/usr/lib64/libfppD.so.0
/usr/lib64/libfppD.so.0.9.15
/usr/lib64/libfppDl.so.0
/usr/lib64/libfppDl.so.0.9.15
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.15
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.15
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.15
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.15
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.15
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.15
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.15
/usr/share/doc/apron
/usr/share/doc/apron/AUTHORS
/usr/share/doc/apron/Changes
/usr/share/doc/apron/README.md
/usr/share/doc/apron/apron.pdf
/usr/share/licenses/apron
/usr/share/licenses/apron/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 17 01:14:44 2025