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 s390x

From Fedora Rawhide for s390x / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 6.fc36 Build date: Mon Oct 4 21:54:51 2021
Group: Unspecified Build host: buildvm-s390x-06.s390.fedoraproject.org
Size: 5835882 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/02
/usr/lib/.build-id/02/f4c431d59a6254c50df7ac2d1403159a592db1
/usr/lib/.build-id/04
/usr/lib/.build-id/04/0e233f8e995fa29115415096e029ee390301f3
/usr/lib/.build-id/08
/usr/lib/.build-id/08/f95eb8c841e0208c12ca8e80dfc2d3513d0649
/usr/lib/.build-id/09
/usr/lib/.build-id/09/dc920e8b0bee1c0c06c649ba0815fff646921f
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/53ccb1f0517fef2f9092a7ccdf081fe4544e7f
/usr/lib/.build-id/12
/usr/lib/.build-id/12/29997b70082f0dbd73cb63a4ca467cba9c3d03
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/96b29782a7d85f1e867ce021ab60c164065223
/usr/lib/.build-id/20
/usr/lib/.build-id/20/dedb7d867391d54e9226e9acf0d0fded1c0be9
/usr/lib/.build-id/25
/usr/lib/.build-id/25/bbfd0f89c07a8547bf38e8039eb7efaab42d3c
/usr/lib/.build-id/49
/usr/lib/.build-id/49/1d2e8a00493c696571bf6c3fe881e502558a14
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/611e3d507aeed6ced3a4099128afc231ab5d9d
/usr/lib/.build-id/50
/usr/lib/.build-id/50/7b8039c4b4ce9a9f0de74e672ba1760444d119
/usr/lib/.build-id/51
/usr/lib/.build-id/51/498d59367059a40c4c22f06236c4b4c36cb063
/usr/lib/.build-id/54
/usr/lib/.build-id/54/2903a123eee5954e30176eff9a26d827749a7d
/usr/lib/.build-id/55
/usr/lib/.build-id/55/1976c4310a7d3e93cb03a699a09f69b4924845
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/839ce9283a81e3ba884c0a1e68f18f7538182e
/usr/lib/.build-id/68
/usr/lib/.build-id/68/6706114ff2f8dab21d06850ca29daae07ec23d
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/e6d43655a0ef6ced5dde7629d3220f78e2f0f1
/usr/lib/.build-id/90
/usr/lib/.build-id/90/1129d0bd29fc6f85393536c1007d1ff862bbe2
/usr/lib/.build-id/97
/usr/lib/.build-id/97/ff29deb87eb6e83b5fdd5b6865535b86f43d61
/usr/lib/.build-id/99
/usr/lib/.build-id/99/8c5d3917e9dcc2bd3d6580d317bb22b6f8ee6d
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/72d13718c0e714dae8f79b45900dcd591551ab
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/7da6677709afc3d9d904242b4992151e8f7036
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/c32828a986dea194c2abfc8d156613ed6c98b9
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/2049fa94cbd79eacbd5fc3d37cca19b2a4f79d
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/32dca00b522751527319f4e1592176dcf663a6
/usr/lib/.build-id/fb
/usr/lib/.build-id/fb/5e4bbd171970b19a0b0f4313249ecaa0f0e5ee
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/3a3998b025307e4f38b03269fe1700b606a14d
/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 02:04:29 2021