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

From Fedora 32 for s390x / 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(s390-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.2)(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)(64bit)
• libm.so.6(GLIBC_2.4)(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/10
/usr/lib/.build-id/10/7f9e914cba099ac0df072b8bc41597af3a1b07
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/abfe9537cead0734538b32d47f5608a99c0b4a
/usr/lib/.build-id/24
/usr/lib/.build-id/24/7027761d15f6fb3a46e935c19374bbbda5fd18
/usr/lib/.build-id/2e
/usr/lib/.build-id/2e/bcaabebfdfcb7e623ec38b9522ae919bacf244
/usr/lib/.build-id/44
/usr/lib/.build-id/44/8a00d851ca16e6d2b17a2731a2cb705779533d
/usr/lib/.build-id/46
/usr/lib/.build-id/46/b1c0448b2ba8c52086b5a7e1ac380f42f4df21
/usr/lib/.build-id/49
/usr/lib/.build-id/49/a7e06a28e130d0a79680d535858dbd024ec7b4
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/a124eef9f593bd3120d3e8afe020ec303bfe3f
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/dc215f5a7da0d7664c3a980aaaa0058ead05e4
/usr/lib/.build-id/65
/usr/lib/.build-id/65/6f2c80d6200270fe27ecea61305663c1a21ea3
/usr/lib/.build-id/69
/usr/lib/.build-id/69/0cfb32109592f127955c6867217df93c6d444a
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/1bde0fd69dda99f9c0cf96968b5085f8fefa63
/usr/lib/.build-id/83
/usr/lib/.build-id/83/bb1fce2eb2d8b380db6d69e1385b819c3d7193
/usr/lib/.build-id/90
/usr/lib/.build-id/90/60ab529e945a74f2d6f272da9631a32ac33eea
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/f85d299faaaa542a7f2dcf5a195df760ec0e72
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/33a3fc1a9dc4f6292a2b2f88cbf67546a3e7e1
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/d1e9b3e6ff9ea23507fa32b939a4d2f6c136b5
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/5ec386b8febf10c872d20ddff08aed5f1c2c15
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/6a354723f8e2dfa9fd8fe74356c83b13b98560
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/c6cb24c855109ed1b4b1c9a5ca397a7c94b2c7
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/faf22ec585cf4344e05aa571b6c37092280c6a
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/014f72fe335084b3962d630b4972f551e64de3
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/5b9e6e379c02a6be2fd634eb37d20b719735e4
/usr/lib/.build-id/e9/c4eada0a0fbfa993eb2a3f5e95f87defdfaafa
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/6e7ad7c481c844fff5e8a6eb760386b55ae1b4
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/6e3b8471a9dfec2ff9998c7d76d4efd6bc7aa0
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/867a03695aaa2adb5b236b7f0f94438de2e929
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/f7dfcb03ebd929813b54dc76df4d4d9a095c83
/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 16:20:45 2022