apron-0.9.13-17.fc38 RPM for i686

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

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/01
/usr/lib/.build-id/01/d42d7f0148b9fc9c54d8c83ab97a0b26d8dc32
/usr/lib/.build-id/03
/usr/lib/.build-id/03/d57a8867d1c6a17a8cd76e58e2ddb829b5f792
/usr/lib/.build-id/05
/usr/lib/.build-id/05/61286adf1de05100a780e2130fcd82afa0a8ef
/usr/lib/.build-id/05/cfff77952f8fa640c2f4cdee7971d34db69386
/usr/lib/.build-id/08
/usr/lib/.build-id/08/66529c1a00df98e91102982838b2c4b6bea9b0
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/1fbd2520d2f4a9516b0fe28569bdb692c20b3f
/usr/lib/.build-id/19
/usr/lib/.build-id/19/23650cd69be3beb59d8183a60683877b9f5eb4
/usr/lib/.build-id/23
/usr/lib/.build-id/23/6f2f004e19b3d8cdcc80e77683cd1835150b03
/usr/lib/.build-id/25
/usr/lib/.build-id/25/c3ee087283c428bb86707343f552538080fd05
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/b265a8021f4c8fff8923d429c9ef2fadbc1001
/usr/lib/.build-id/33
/usr/lib/.build-id/33/07b9901dd2ca50b6ee7ee283a13a4d36aff345
/usr/lib/.build-id/39
/usr/lib/.build-id/39/59afc028eae5890dcc81f4a0e6ac2f343d07b0
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/4ef5481e207af4f3c003c243a27f2b8feaf666
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/918f290b1df8854ec3daba09f2aa0e963abf3f
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/691b9398013c714d6d2062f456b6fdfff369de
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/bddb32d85b4a47f16019a28650b3b6a9492693
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/82dffaf1766da076355b61e1639f6d192a43b7
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/9abd98088bdd1bfdf20909a1c1c84c32efbf5a
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/69cb531ca797787ba267b00d07a6836ea7a9f1
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/b8a210a67e5f20d68e781ee64b61c21579bea7
/usr/lib/.build-id/de
/usr/lib/.build-id/de/b43146aa06a75ffa444791ddb433b00e9a63d2
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/9787deef1bdde1c1f3f7595e2ce112c50f72a1
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/2363212c281ac3bb78ad26465104d6ea4c643c
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/9cab0f935049a87c52b00a89b0bf3039825a21
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/39315c9d175b096735f2df44cef89fbad6634f
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/12098f7a36f058bf5435fd111ede68ed348c9b
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/309928cf2a630c7d204a0956fe2fcfd4d866bf
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/3656111c592426a7fa929220298d186d6a79f3
/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 22:26:30 2024