apron-0.9.12-3.fc32.1 RPM for x86_64

From Fedora 32 testing updates for x86_64 / Packages / 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)
• 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.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

LGPLv2+ and GPLv2+

Changelog

* Thu Feb 27 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3.1
  - OCaml 4.10.0 final (Fedora 32).
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3
  - OCaml 4.10.0 final.
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jan 22 2020 Dan Čermák <dan.cermak@cgc-instruments.com> - 0.9.12-1
  - New upstream release 0.9.12
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-33.1104.svn20180624
  - OCaml 4.10.0+beta1 rebuild.
* Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-32.1104.svn20180624
  - OCaml 4.09.0 for riscv64
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-31.1104.svn20180624
  - Bump release and rebuild.
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-30.1104.svn20180624
  - OCaml 4.09.0 (final) rebuild.
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 0.9.11-29.1104.svn20180624
  - Add -mpfr4 patch and rebuild for mpfr 4
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-28.1104.svn20180624
  - OCaml 4.08.1 (final) rebuild.
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-27.1104.svn20180624
  - OCaml 4.08.1 (rc2) rebuild.
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-26.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-25.1104.svn20180624
  - OCaml 4.08.0 (final) rebuild.
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-24.1104.svn20180624
  - OCaml 4.08.0 (beta 3) rebuild.
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-23.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-22.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-21.1104.svn20180624
  - OCaml 4.07.0 (final) rebuild.
* Sat Jul 07 2018 Jerry James <loganjerry@gmail.com> - 0.9.11-20.1104.svn20180624
  - Update to latest subversion commit
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-19.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-18.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-17.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-16.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-15.1097.svn20160801
  - OCaml 4.07.0-rc1 rebuild.

Files

/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/b6e32d91f5928ee29dabb9fdd8495c1326ff4c
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/3c31f146c1c69b778584eb291fcc79004ae75d
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/cc267d3c10b0b2c495bebfa7f3ce9805439aa7
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/4d9493598f840b9459f4f53270328fe8549230
/usr/lib/.build-id/0f/78a5385ab2d22845b7bcf86cd5ce7705a396af
/usr/lib/.build-id/24
/usr/lib/.build-id/24/3c6f6c1dc561bd6f523ad365c11c0aa70dafae
/usr/lib/.build-id/25
/usr/lib/.build-id/25/33002e7a1af96dea510531ff6d1492e5deb70e
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/8660981ac2043d18167c547873b15c119d96b5
/usr/lib/.build-id/32
/usr/lib/.build-id/32/a34e5922846f0fb87269621fa019d16ce9a83e
/usr/lib/.build-id/36
/usr/lib/.build-id/36/7abbe632cc64692140848fc64b26cb349bd3f7
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/21ed36d40d0fd09036e6b998809ee99a70a42a
/usr/lib/.build-id/48
/usr/lib/.build-id/48/43b8aaa84e772be0581b1b8f57aaedaa67ed89
/usr/lib/.build-id/58
/usr/lib/.build-id/58/01b9e76aba142f702bb2496a17bb8e8100e59c
/usr/lib/.build-id/76
/usr/lib/.build-id/76/02a901e9e916487b0ecaf35782d2a26e5d7b7e
/usr/lib/.build-id/78
/usr/lib/.build-id/78/37c6040b2b15402481d12c0d58639b06b137ac
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/656789021622197b6178e4f9630e0cfc6f807e
/usr/lib/.build-id/93
/usr/lib/.build-id/93/84522e650e4cc6e2cc331650c57f918b81319e
/usr/lib/.build-id/98
/usr/lib/.build-id/98/d50476670a92146644b26aa9f246d1827b11ac
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/a5f621362335f0716a929df8bf4b3a4505748b
/usr/lib/.build-id/a7
/usr/lib/.build-id/a7/e2dd28b434c833e92a1a98b4e52ee786910014
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/e22ea32d1cadad7592d262a209fcef9f1387a7
/usr/lib/.build-id/b2
/usr/lib/.build-id/b2/a31dcc18e8b23ac3bf8e8bc85b2bb234a74367
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/ac0bc71a6e8c0a3bf0afb6a9d9a02ce705f479
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/8208021d682775fb2e4c1a622744b3e58a5b62
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/a306c2042f72a0c21fda39ad7dee8e926660f0
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/bdef39ca5260a6bb92ce0ce8e416b8fdcd278e
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/585f951462b552179494259168218402dc46e6
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/449c4e1897cefd9005c0198c11b296456ba0a5
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.12
/usr/lib64/libap_pkgrid_debug.so.0
/usr/lib64/libap_pkgrid_debug.so.0.9.12
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.12
/usr/lib64/libap_ppl_debug.so.0
/usr/lib64/libap_ppl_debug.so.0.9.12
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.12
/usr/lib64/libapron_debug.so.0
/usr/lib64/libapron_debug.so.0.9.12
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.12
/usr/lib64/libapronxx_debug.so.0
/usr/lib64/libapronxx_debug.so.0.9.12
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.12
/usr/lib64/libboxD_debug.so.0
/usr/lib64/libboxD_debug.so.0.9.12
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.12
/usr/lib64/libboxMPFR_debug.so.0
/usr/lib64/libboxMPFR_debug.so.0.9.12
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.12
/usr/lib64/libboxMPQ_debug.so.0
/usr/lib64/libboxMPQ_debug.so.0.9.12
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.12
/usr/lib64/liboctD_debug.so.0
/usr/lib64/liboctD_debug.so.0.9.12
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.12
/usr/lib64/liboctMPQ_debug.so.0
/usr/lib64/liboctMPQ_debug.so.0.9.12
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.12
/usr/lib64/libpolkaMPQ_debug.so.0
/usr/lib64/libpolkaMPQ_debug.so.0.9.12
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.12
/usr/lib64/libpolkaRll_debug.so.0
/usr/lib64/libpolkaRll_debug.so.0.9.12
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.12
/usr/lib64/libt1pD_debug.so.0
/usr/lib64/libt1pD_debug.so.0.9.12
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.12
/usr/lib64/libt1pMPFR_debug.so.0
/usr/lib64/libt1pMPFR_debug.so.0.9.12
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.12
/usr/lib64/libt1pMPQ_debug.so.0
/usr/lib64/libt1pMPQ_debug.so.0.9.12
/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, Mon May 9 14:13:43 2022