apron-0.9.13-17.fc38 RPM for aarch64

From Fedora 38 testing updates for aarch64 / Packages / 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(aarch-64)
• libap_pkgrid.so.0()(64bit)
• libap_pkgrid_debug.so.0()(64bit)
• libap_ppl.so.0()(64bit)
• libap_ppl_debug.so.0()(64bit)
• libapron.so.0()(64bit)
• libapron_debug.so.0()(64bit)
• libapronxx.so.0()(64bit)
• libapronxx_debug.so.0()(64bit)
• libboxD.so.0()(64bit)
• libboxD_debug.so.0()(64bit)
• libboxMPFR.so.0()(64bit)
• libboxMPFR_debug.so.0()(64bit)
• libboxMPQ.so.0()(64bit)
• libboxMPQ_debug.so.0()(64bit)
• liboctD.so.0()(64bit)
• liboctD_debug.so.0()(64bit)
• liboctMPQ.so.0()(64bit)
• liboctMPQ_debug.so.0()(64bit)
• libpolkaMPQ.so.0()(64bit)
• libpolkaMPQ_debug.so.0()(64bit)
• libpolkaRll.so.0()(64bit)
• libpolkaRll_debug.so.0()(64bit)
• libt1pD.so.0()(64bit)
• libt1pD_debug.so.0()(64bit)
• libt1pMPFR.so.0()(64bit)
• libt1pMPFR_debug.so.0()(64bit)
• libt1pMPQ.so.0()(64bit)
• libt1pMPQ_debug.so.0()(64bit)

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libap_ppl.so.0()(64bit)
• libap_ppl_debug.so.0()(64bit)
• libapron.so.0()(64bit)
• libapron_debug.so.0()(64bit)
• libboxD.so.0()(64bit)
• libboxD_debug.so.0()(64bit)
• libboxMPFR.so.0()(64bit)
• libboxMPFR_debug.so.0()(64bit)
• libboxMPQ.so.0()(64bit)
• libboxMPQ_debug.so.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libmpfr.so.6()(64bit)
• libpolkaMPQ.so.0()(64bit)
• libpolkaMPQ_debug.so.0()(64bit)
• libppl.so.14()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.1)(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.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.30)(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

* Thu Mar 23 2023 Jerry James <loganjerry@gmail.com> - 0.9.13-17
  - Fix reinsertion of -Werror=format-security (bz 2181282)
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-16
  - Rebuild OCaml packages for F38
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Dec 06 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-14
  - Work around build failure with make 4.4 (rhbz#2150171)
* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-13
  - Convert License tag to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 05 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-12
  - Do not build japron on i686 (rhbz#2104018)
  - Use new OCaml macros
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-11
  - OCaml 4.14.0 rebuild
* Wed Apr 27 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-10
  - Add -custom-operations patch to silence warnings
  - Trim Requires
  - Build native OCaml objects with debuginfo
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 0.9.13-10
  - Rebuilt for java-17-openjdk as system jdk
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-9
  - OCaml 4.13.1 rebuild to remove package notes
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.9.13-7
  - Rebuild for ocaml-mlgmpidl 1.2.14
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6
  - OCaml 4.13.1 build
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/09febe962c88167cecc773b300c1ebad1bcad7
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/48cb77f31b882823efee53356031270b56c54b
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/598aa7261eb501e56fbba926dca0a0cebf44ee
/usr/lib/.build-id/26
/usr/lib/.build-id/26/c6f76cb91af6b2d7ac153a17b5cfc733d2896f
/usr/lib/.build-id/32
/usr/lib/.build-id/32/60906ae7382736f984fe02928a0ec3dd7adaf6
/usr/lib/.build-id/33
/usr/lib/.build-id/33/2004525674aa0540b9f90fa7fafb1a64e4aaf9
/usr/lib/.build-id/33/737a76bf343691cf44a531551c95b56670f517
/usr/lib/.build-id/36
/usr/lib/.build-id/36/4b0a3dfb1be5fc22def287b593e98cdf2f276f
/usr/lib/.build-id/39
/usr/lib/.build-id/39/371b9fea88585a8dd9798189f57f189af5a4dc
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/d95ae2b74015a57e35a8775cd6c0b6cf2c750c
/usr/lib/.build-id/43
/usr/lib/.build-id/43/4e9a0def279c317d7a61d86e23fc5d9af8b3d2
/usr/lib/.build-id/54
/usr/lib/.build-id/54/0a13ca0c8c049af2eabab5e33a1b630b00bb4e
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/cdb2a62863833727f248d6b18e33a92a2d8b55
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/2b942d978fff0438beb71e2a15a33771db1fc5
/usr/lib/.build-id/62
/usr/lib/.build-id/62/4131786c433d0f959a6cf25a42b773e0283a90
/usr/lib/.build-id/71
/usr/lib/.build-id/71/665882ce6eb6c384b5d038f00a79f09866e42d
/usr/lib/.build-id/74
/usr/lib/.build-id/74/b07c48a2472febc44887841f066b51b5ffd682
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/bd7c17a0ad027beecc38ecfa9c08edc2cd2e96
/usr/lib/.build-id/96
/usr/lib/.build-id/96/316926f8d69f7f63ab6cf1b6060f6f3bf2b4fb
/usr/lib/.build-id/9d
/usr/lib/.build-id/9d/8148092145bf238d7be9ab2c76591d74fe2c20
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/95cb89220c30666b8c79d3a36313d482687763
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/f342d37546d2c40032910fdb61c9fea3513523
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/0ab03700e26d3b6f3258cd8614f9abcdf16578
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/6d656a706815c9f812fc6915ed6a19de84a9b9
/usr/lib/.build-id/c6/c7205e6af77de32fa6be0c10e8ad138a4bfdd8
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/039c7c95395788e31057563d46a95a2ebc0018
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/ddf7f77728cb02f4b8907c88921c23c09a2039
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/5109d072ce889e754b64d4c2d54f25349278e3
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.13
/usr/lib64/libap_pkgrid_debug.so.0
/usr/lib64/libap_pkgrid_debug.so.0.9.13
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.13
/usr/lib64/libap_ppl_debug.so.0
/usr/lib64/libap_ppl_debug.so.0.9.13
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.13
/usr/lib64/libapron_debug.so.0
/usr/lib64/libapron_debug.so.0.9.13
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.13
/usr/lib64/libapronxx_debug.so.0
/usr/lib64/libapronxx_debug.so.0.9.13
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.13
/usr/lib64/libboxD_debug.so.0
/usr/lib64/libboxD_debug.so.0.9.13
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.13
/usr/lib64/libboxMPFR_debug.so.0
/usr/lib64/libboxMPFR_debug.so.0.9.13
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.13
/usr/lib64/libboxMPQ_debug.so.0
/usr/lib64/libboxMPQ_debug.so.0.9.13
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.13
/usr/lib64/liboctD_debug.so.0
/usr/lib64/liboctD_debug.so.0.9.13
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.13
/usr/lib64/liboctMPQ_debug.so.0
/usr/lib64/liboctMPQ_debug.so.0.9.13
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.13
/usr/lib64/libpolkaMPQ_debug.so.0
/usr/lib64/libpolkaMPQ_debug.so.0.9.13
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.13
/usr/lib64/libpolkaRll_debug.so.0
/usr/lib64/libpolkaRll_debug.so.0.9.13
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.13
/usr/lib64/libt1pD_debug.so.0
/usr/lib64/libt1pD_debug.so.0.9.13
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.13
/usr/lib64/libt1pMPFR_debug.so.0
/usr/lib64/libt1pMPFR_debug.so.0.9.13
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.13
/usr/lib64/libt1pMPQ_debug.so.0
/usr/lib64/libt1pMPQ_debug.so.0.9.13
/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, Wed May 31 23:49:30 2023