Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

apron-0.9.13-6.fc36 RPM for ppc64le

From Fedora Rawhide for ppc64le / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 6.fc36 Build date: Mon Oct 4 21:56:31 2021
Group: Unspecified Build host: buildvm-ppc64le-24.iad2.fedoraproject.org
Size: 9946495 Source RPM: apron-0.9.13-6.fc36.src.rpm
Packager: Fedora Project
Url: https://antoinemine.github.io/Apron/doc/
Summary: Numerical abstract domain library
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

Requires

License

LGPLv2+ and GPLv2+

Changelog

* 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
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7
  - OCaml 4.11.0+dev2-2020-04-22 rebuild
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6
  - OCaml 4.11.0 pre-release attempt 2
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5
  - OCaml 4.11.0 pre-release
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4
  - Update all OCaml dependencies for RPM 4.16.
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/05
/usr/lib/.build-id/05/7adcce8db48f26832785a513781af5afd5e404
/usr/lib/.build-id/17
/usr/lib/.build-id/17/c218901568efb8444532a836a35ee1d88de22b
/usr/lib/.build-id/18
/usr/lib/.build-id/18/35d606beeaacd6a9e8a21c12f40eac5d2741f7
/usr/lib/.build-id/20
/usr/lib/.build-id/20/a294eff97944e10fea4da171c5571e2e081a9c
/usr/lib/.build-id/38
/usr/lib/.build-id/38/8dcc7ef2da5b4b10c94adeb79ccad7a0cc24d4
/usr/lib/.build-id/49
/usr/lib/.build-id/49/f51c8a3bfb27a5c61cf20d4f62ac06809174d8
/usr/lib/.build-id/56
/usr/lib/.build-id/56/3a8807afee39b01a29a88188f9c9f5860c4817
/usr/lib/.build-id/57
/usr/lib/.build-id/57/40198a5ac7e68485f8fddada44604a03d02e54
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/e28890049eebc94e12b4087de2337ddcf876de
/usr/lib/.build-id/73
/usr/lib/.build-id/73/a8947985685f38c45bc4ada638f6de0568d8b7
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/59b33a23b5988f59a5ea4dbec617f1e046a060
/usr/lib/.build-id/84
/usr/lib/.build-id/84/28905400adc9856203eb1a1149f6b944ea56f6
/usr/lib/.build-id/88
/usr/lib/.build-id/88/ca7fe7f34e320a4abffde860d35b713d057404
/usr/lib/.build-id/94
/usr/lib/.build-id/94/0a04c8909212144bbba7df11478923933cd3a6
/usr/lib/.build-id/96
/usr/lib/.build-id/96/609cb90d5386dab1078137d4c935c21b78e6b5
/usr/lib/.build-id/99
/usr/lib/.build-id/99/939912f642211b98c52f786edc157911150110
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/dcf0c7cd065f7958b4eb3667fe0b809345c296
/usr/lib/.build-id/af
/usr/lib/.build-id/af/9b63c38d7f1f1343c0ab5db60c3cf8968b2efb
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/757d228a72e77b2d37bf04cd88c297c283a5e0
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/400c378c9b8c1f92e6990158a57dd584ae7a17
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/8c34a12a5eeb14ee3d85d58b7ca6b7ea3f3e3f
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/8c1d1ffdf6d70a8fc6dd4ee22cfcb19ac824dc
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/2317db3ed6ef1e4cd39e4a1585cb0c059c5eba
/usr/lib/.build-id/c9
/usr/lib/.build-id/c9/76f2c30c22b02911a90735baa8fc242085b4d4
/usr/lib/.build-id/de
/usr/lib/.build-id/de/d45ac1db6d2abe510f13d4d6a58046abbc33f9
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/4ea4ce59edd661c2b834f8b84480453de2882b
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/af6af55eb0f38a973d970051abfd8d99fc8f4a
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/8f1bd1969e16c6e8aee946cee5303121ee787e
/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, Mon Nov 29 01:55:56 2021