apron-0.9.13-16.fc38 RPM for aarch64

From Fedora Rawhide for aarch64 / 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

* 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
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/16
/usr/lib/.build-id/16/0518440386316f72a3569fa7f51a1fc5bf14d7
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/a85f12982bfda5be0707e234dd9b2f13030ee4
/usr/lib/.build-id/21
/usr/lib/.build-id/21/e2dc685ba906fa3896ee4898e3f6552f63e123
/usr/lib/.build-id/29
/usr/lib/.build-id/29/3c830ad0ca0115ab0e9c0e0597c467f97d6ceb
/usr/lib/.build-id/31
/usr/lib/.build-id/31/f5ab203f9352fc85aa587ce720cff81474e186
/usr/lib/.build-id/32
/usr/lib/.build-id/32/8fe706e1a0760efd6064a69026188149cf33bf
/usr/lib/.build-id/39
/usr/lib/.build-id/39/fd095c3246e036cdff5791619b8a7b48d8a747
/usr/lib/.build-id/40
/usr/lib/.build-id/40/dd7591eb72eb9c60b1cf5afd5c02913fa23ca4
/usr/lib/.build-id/46
/usr/lib/.build-id/46/2880f534ada48bcdbeca8934600566f7bcaa3d
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/f179c861dd5b77eab7d99dc327245ce9d933ef
/usr/lib/.build-id/50
/usr/lib/.build-id/50/cc2294fa28023f5b6238bb94b0a4934ab5f214
/usr/lib/.build-id/50/f37eca69621f081b1f0056b7d4682c87edf725
/usr/lib/.build-id/51
/usr/lib/.build-id/51/97b48cfbe17e2466a1ea17e077944d20c5d0bd
/usr/lib/.build-id/57
/usr/lib/.build-id/57/317333cdc75fa88841f2f9369d1e8081f971db
/usr/lib/.build-id/57/48c655f63c2ac1b51fe705b15dba992f8f44a6
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/201ee5d7fb2e1d37b1cadec40206155a55cf96
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/a1590f5772dcad634740864a52030cfb113d25
/usr/lib/.build-id/61
/usr/lib/.build-id/61/0a5738583f2a92ec75af9f949667c1e40b11e6
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/179a2b821998d2c339ee5a0512d4cd3bc19a7d
/usr/lib/.build-id/70
/usr/lib/.build-id/70/254da51a7e13db54f99e7540b0aea1509a698e
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/d2c3679d444fb8ca221f5e0f9c57a40b5b20e9
/usr/lib/.build-id/82
/usr/lib/.build-id/82/9754e8b28dbebc8522a1e7358e53cad7b2a83a
/usr/lib/.build-id/94
/usr/lib/.build-id/94/e04287c9d09587aca40688c924239334fcb4c8
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/89cea86d290a207f02daa60c5b5971ba8c02fb
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/a60fb183517251aeac82e44b101a3352167755
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/eef8321e84d4b2ffb05aa739e9dc61d9fc74e8
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/be55c7db2a188f3457016400c6e27476befa08
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/7540ed9d15bdfae5fa323f66d051986d7df675
/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 Mar 22 00:06:23 2023