apron-0.9.13-10.fc36 RPM for armv7hl

From Fedora 36 for armhfp / 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(armv7hl-32)
• libap_pkgrid.so.0
• libap_pkgrid_debug.so.0
• libap_ppl.so.0
• libap_ppl_debug.so.0
• libapron.so.0
• libapron_debug.so.0
• libapronxx.so.0
• libapronxx_debug.so.0
• libboxD.so.0
• libboxD_debug.so.0
• libboxMPFR.so.0
• libboxMPFR_debug.so.0
• libboxMPQ.so.0
• libboxMPQ_debug.so.0
• liboctD.so.0
• liboctD_debug.so.0
• liboctMPQ.so.0
• liboctMPQ_debug.so.0
• libpolkaMPQ.so.0
• libpolkaMPQ_debug.so.0
• libpolkaRll.so.0
• libpolkaRll_debug.so.0
• libt1pD.so.0
• libt1pD_debug.so.0
• libt1pMPFR.so.0
• libt1pMPFR_debug.so.0
• libt1pMPQ.so.0
• libt1pMPQ_debug.so.0

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libap_ppl.so.0
• libap_ppl_debug.so.0
• libapron.so.0
• libapron_debug.so.0
• libboxD.so.0
• libboxD_debug.so.0
• libboxMPFR.so.0
• libboxMPFR_debug.so.0
• libboxMPQ.so.0
• libboxMPQ_debug.so.0
• libc.so.6
• libc.so.6(GLIBC_2.4)
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.0)
• libgcc_s.so.1(GCC_3.3.1)
• libgcc_s.so.1(GCC_3.5)
• libgmp.so.10
• libgmpxx.so.4
• libm.so.6
• libm.so.6(GLIBC_2.4)
• libmpfr.so.6
• libpolkaMPQ.so.0
• libpolkaMPQ_debug.so.0
• libppl.so.14
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• libstdc++.so.6(CXXABI_1.3.1)
• libstdc++.so.6(CXXABI_1.3.8)
• libstdc++.so.6(CXXABI_1.3.9)
• libstdc++.so.6(CXXABI_ARM_1.3.3)
• libstdc++.so.6(GLIBCXX_3.4)
• libstdc++.so.6(GLIBCXX_3.4.21)
• libstdc++.so.6(GLIBCXX_3.4.29)
• libstdc++.so.6(GLIBCXX_3.4.30)
• libstdc++.so.6(GLIBCXX_3.4.9)
• 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

LGPLv2+ and GPLv2+

Changelog

* 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
* Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-4
  - OCaml 4.12.0 build
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-2
  - Fix install location of OCaml stublibs
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-1
  - Version 0.9.13
  - Drop upstreamed -texinfo patch
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10
  - OCaml 4.11.1 rebuild
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9
  - OCaml 4.11.0 rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7
  - OCaml 4.11.0+dev2-2020-04-22 rebuild
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6
  - OCaml 4.11.0 pre-release attempt 2
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5
  - OCaml 4.11.0 pre-release
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4
  - Update all OCaml dependencies for RPM 4.16.
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3
  - OCaml 4.10.0 final.

Files

/usr/lib/.build-id
/usr/lib/.build-id/12
/usr/lib/.build-id/12/2d16adc676661d37e62fc449eec71512fe6fe5
/usr/lib/.build-id/24
/usr/lib/.build-id/24/f86ff39e2ffe24b2b8b28f196cf5cdb856dae2
/usr/lib/.build-id/25
/usr/lib/.build-id/25/4a4ed87381ccdcec8fa015a822852cab193e2b
/usr/lib/.build-id/28
/usr/lib/.build-id/28/b775c87c35567843783c258d25ad542199752f
/usr/lib/.build-id/42
/usr/lib/.build-id/42/8d860e1d115b8c282996eb57414a4942930e0c
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/34bb3c20dc9c3fb279a9eeea61f908d9bbca7b
/usr/lib/.build-id/67
/usr/lib/.build-id/67/b44885705639e7cdf3c6058a3a6116bcf2cfd0
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/a7d796b3da87b9d96b8fcc14b35528f0f83a9f
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/a8049e00737a4564ed14ffbf1517922f2d3380
/usr/lib/.build-id/78
/usr/lib/.build-id/78/60f51590acaf4a893328d3340e54f29f37c2d7
/usr/lib/.build-id/79
/usr/lib/.build-id/79/4ca911210b6c1510cc04cd08ae12db47b33d98
/usr/lib/.build-id/83
/usr/lib/.build-id/83/8518905db60b06ca2ccf4953c26e507ac611b4
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/133d50bd5871614a03c0339c549373af88c17a
/usr/lib/.build-id/91
/usr/lib/.build-id/91/02b57fc505cecb2ce632d6fba05e3643bb8557
/usr/lib/.build-id/96
/usr/lib/.build-id/96/6862f597e5a9012e3c43ea10d7b174db348ea5
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/04317aa33fd92565ac097ad3c4d2a78e9a6a15
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/f701e8d1eacc2090a2be9bb60670d4181c0660
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/8389b1d5ac1cd90032cfdd9ebe2a6dc0556f2b
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/c875ea98726a5c34d808c5ec27a7fef6bf2849
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/bf9dfef1df6426beed7579bae8a1594b8b1fa1
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/8ee5aa1659a4bb11e37fed48a460e4a29213f7
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/de01e3b23b6480dd85ab880a9531dca8174a17
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/f6c860e65c17ed30873daa21a4e907fa350813
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/f0725ee2aa6ea6f13a0354c9cd1cc8ecf10e9b
/usr/lib/.build-id/db
/usr/lib/.build-id/db/1904c52646a838e56770e247999a11d944e096
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/db56cd9b1305b8041ed32cbee622ac1b888ac6
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/39c0984af3f519d331a3a1992cbefc16c93931
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/97cd5e1d7d04989318035a70227dc066f4360f
/usr/lib/libap_pkgrid.so.0
/usr/lib/libap_pkgrid.so.0.9.13
/usr/lib/libap_pkgrid_debug.so.0
/usr/lib/libap_pkgrid_debug.so.0.9.13
/usr/lib/libap_ppl.so.0
/usr/lib/libap_ppl.so.0.9.13
/usr/lib/libap_ppl_debug.so.0
/usr/lib/libap_ppl_debug.so.0.9.13
/usr/lib/libapron.so.0
/usr/lib/libapron.so.0.9.13
/usr/lib/libapron_debug.so.0
/usr/lib/libapron_debug.so.0.9.13
/usr/lib/libapronxx.so.0
/usr/lib/libapronxx.so.0.9.13
/usr/lib/libapronxx_debug.so.0
/usr/lib/libapronxx_debug.so.0.9.13
/usr/lib/libboxD.so.0
/usr/lib/libboxD.so.0.9.13
/usr/lib/libboxD_debug.so.0
/usr/lib/libboxD_debug.so.0.9.13
/usr/lib/libboxMPFR.so.0
/usr/lib/libboxMPFR.so.0.9.13
/usr/lib/libboxMPFR_debug.so.0
/usr/lib/libboxMPFR_debug.so.0.9.13
/usr/lib/libboxMPQ.so.0
/usr/lib/libboxMPQ.so.0.9.13
/usr/lib/libboxMPQ_debug.so.0
/usr/lib/libboxMPQ_debug.so.0.9.13
/usr/lib/liboctD.so.0
/usr/lib/liboctD.so.0.9.13
/usr/lib/liboctD_debug.so.0
/usr/lib/liboctD_debug.so.0.9.13
/usr/lib/liboctMPQ.so.0
/usr/lib/liboctMPQ.so.0.9.13
/usr/lib/liboctMPQ_debug.so.0
/usr/lib/liboctMPQ_debug.so.0.9.13
/usr/lib/libpolkaMPQ.so.0
/usr/lib/libpolkaMPQ.so.0.9.13
/usr/lib/libpolkaMPQ_debug.so.0
/usr/lib/libpolkaMPQ_debug.so.0.9.13
/usr/lib/libpolkaRll.so.0
/usr/lib/libpolkaRll.so.0.9.13
/usr/lib/libpolkaRll_debug.so.0
/usr/lib/libpolkaRll_debug.so.0.9.13
/usr/lib/libt1pD.so.0
/usr/lib/libt1pD.so.0.9.13
/usr/lib/libt1pD_debug.so.0
/usr/lib/libt1pD_debug.so.0.9.13
/usr/lib/libt1pMPFR.so.0
/usr/lib/libt1pMPFR.so.0.9.13
/usr/lib/libt1pMPFR_debug.so.0
/usr/lib/libt1pMPFR_debug.so.0.9.13
/usr/lib/libt1pMPQ.so.0
/usr/lib/libt1pMPQ.so.0.9.13
/usr/lib/libt1pMPQ_debug.so.0
/usr/lib/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, Thu Jun 9 22:45:37 2022