apron-0.9.13-13.fc37 RPM for i686

From Fedora 37 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-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

• 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.0)
• libc.so.6(GLIBC_2.1.3)
• libc.so.6(GLIBC_2.3.4)
• 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)
• libgmp.so.10
• libgmpxx.so.4
• libm.so.6
• libm.so.6(GLIBC_2.0)
• libm.so.6(GLIBC_2.1)
• 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(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

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

Files

/usr/lib/.build-id
/usr/lib/.build-id/05
/usr/lib/.build-id/05/584403009f26779ef8624cdf8a55233be8096a
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/1fd0a2f235831ea9768171952f7b30c057db9b
/usr/lib/.build-id/13
/usr/lib/.build-id/13/6fd4ccb201c466bdf5415fef18dc15fc01864a
/usr/lib/.build-id/13/bd87fc4ec1815508a27ccb784afd4da405c1f8
/usr/lib/.build-id/25
/usr/lib/.build-id/25/18d4c0780410489ee58431c1649773e737cc1a
/usr/lib/.build-id/27
/usr/lib/.build-id/27/a67d9661ec568ad81783b13af62627429374eb
/usr/lib/.build-id/37
/usr/lib/.build-id/37/e80ca8e3a751ea14598d96c1d8cd1e5b18d809
/usr/lib/.build-id/48
/usr/lib/.build-id/48/77012215c385a1e6426148baa130e90bc7ee84
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/15fbbe6c0232e59664da159cb1f8589287cc85
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/4eb3f9c1be181cbcb1607ffb5e9a6bc3e2d2c2
/usr/lib/.build-id/73
/usr/lib/.build-id/73/fe87c7963e0da4470445403c72b5a36f217c41
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/58d8cfacaa3b83b400c39e1438b5809e1fdc15
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/a94f05d25b8702403c9db59b5846223bb2c122
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/44047e8a97370e8a1c1bae2d2ca509ca98717c
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/cb6baadc09345ab75081645ff47011da9f4668
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/773137a3e238c56b52328c2040681eea01eea9
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/2ba485292ae56b8a1d505a6fa00541cd8288b3
/usr/lib/.build-id/bf/bc53ae49f11b9864e9b3f425f075444c9eb3d3
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/bf38df53602c3269b868600325b8939acde40c
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/dfcc94d67a599fb712439e87e9140f2735dc30
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/9978903a4e0700dda9c1ceb856417d49f22ff7
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/0d28a4981aee93913d2910e7636faea475b663
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/a1de1fe4baf95546611fc5d875222f74fde03e
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/1191a69cb02d312e680d2c4d41517781f6ae9c
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/de3b46b48d1631fc1ad7c38ecac709f816459f
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/fa15fa1e98762a0263e55540b417d63a03d0a3
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/7ffc725327d03ed859fb123c111c3fe672ff61
/usr/lib/.build-id/fe/fc7dc6aa94d3de44161b8ab3b2bf439343e0f7
/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, Tue Apr 9 20:33:48 2024