apron-0.9.13-16.fc38 RPM for x86_64

From Fedora Rawhide for x86_64 / 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(x86-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

• 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.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(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.2.5)(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/0c
/usr/lib/.build-id/0c/f61256d5105e46fe9a0c860620e059c964a038
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/92f1c895c0a7fbc9e373fc1243911e4bfe9f33
/usr/lib/.build-id/15
/usr/lib/.build-id/15/b8c2ad11a8c09579cc071464356e8863b7729a
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/7276314e923023b87e682e8b2207fbe7d558e5
/usr/lib/.build-id/30
/usr/lib/.build-id/30/87d4b773e1fd51af52bbcb6af5a83483a760c8
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/b7ce3592aa91921829d408b9e16a41454fd8ca
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/5325349e14d4cfcb0cd4a0e470624428286a78
/usr/lib/.build-id/48
/usr/lib/.build-id/48/ba3c76d64b07ab8b62db60cb54d1523b62294d
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/04c84a232a028f11a62c2d359416c458388d26
/usr/lib/.build-id/4e/da03b8bab6237bc325f5135694da15fc67d3d5
/usr/lib/.build-id/55
/usr/lib/.build-id/55/1cbe574852aaa835c3c77484c88ece44bc1332
/usr/lib/.build-id/56
/usr/lib/.build-id/56/e8635b994363626b5b34cb32917cd1f7b65f13
/usr/lib/.build-id/59
/usr/lib/.build-id/59/f5ca1b494e290831f3c0d4592187fd3644f406
/usr/lib/.build-id/69
/usr/lib/.build-id/69/37cb31608fef89e701d58248b1bfdda38850eb
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/f78a7dff47bdf35d32984ec8be4c42ae9b76a1
/usr/lib/.build-id/7b
/usr/lib/.build-id/7b/c84d8a67356fa14ae3c9db06930b3f7f46a564
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/cbe0a535e23f0b09223c76d3c9ca93df468e41
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/2a28672fa6639b28c8b4d43deb9de1a5153fcf
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/03d7cdcc401dc1d062adf9bdbd873e05fb58de
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/74f504d2f57109afe262eaa93032a8d2ac4090
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/0bfff9f1e73d0816a6c6e5ca1000927155d087
/usr/lib/.build-id/db
/usr/lib/.build-id/db/af4819aef649a5b91081e15d8cefc523e5cb87
/usr/lib/.build-id/db/d32d7e0fe41da5a5225c24d60fb8f1ece99ece
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/bf61c3d40dad2b5d5bcbc525580b1f27c064f3
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/36eb3180ffb50b98db7ae5a127e0bc577dbe49
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/a8cf998e681a8f71f11d03282ddaad052a8de5
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/12da6ad246ea1988e9e313721f43c90645857b
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/de321823cc3d2471b7ece5b93f63ac28bc902b
/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, Tue Mar 21 23:59:49 2023