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

apron-0.9.13-2.fc33 RPM for armv7hl

From Fedora 33 updates for armhfp / Packages / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 2.fc33 Build date: Fri Nov 20 23:00:14 2020
Group: Unspecified Build host: buildvm-a32-17.iad2.fedoraproject.org
Size: 4657594 Source RPM: apron-0.9.13-2.fc33.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

* 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
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10.1
  - Bump release and rebuild.
* 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
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/2140d4605bb1190cf2ac824caf387304e640c5
/usr/lib/.build-id/09
/usr/lib/.build-id/09/781c624bff93f88725c1c5db70f399f6438643
/usr/lib/.build-id/10
/usr/lib/.build-id/10/86ac9ae0db5487fc18070cde89bb29ad2c26bd
/usr/lib/.build-id/13
/usr/lib/.build-id/13/773e3a86bd49bb541bfff4bcbf957a56b5ea8d
/usr/lib/.build-id/17
/usr/lib/.build-id/17/157fce010fb45fc0c93b68754566abf74c860a
/usr/lib/.build-id/27
/usr/lib/.build-id/27/deecd56ab5f761e12d8a2234dc9188c2c9b262
/usr/lib/.build-id/32
/usr/lib/.build-id/32/c7e2e7154e90927e48c98ad28952d0dedee0d8
/usr/lib/.build-id/41
/usr/lib/.build-id/41/f158039d933a88e2f4688e91ca591696e1741b
/usr/lib/.build-id/43
/usr/lib/.build-id/43/78982b96d3fe720d9dbb33b9bda87db20dd595
/usr/lib/.build-id/47
/usr/lib/.build-id/47/61d97546df74e93108adc6bf18394e67bd336a
/usr/lib/.build-id/67
/usr/lib/.build-id/67/0711f74af7ff78aaea49633da4a97c38ce1b4f
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/a346e9f8dfd7af0565cc8d7e083c4bc78e750d
/usr/lib/.build-id/79
/usr/lib/.build-id/79/984bc26c5255fc4a290d712c804169b27c7d90
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/a7a72d961d84f9fab218c71b160af6859c5f13
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/60eadfee41d00fe45fee0a8218f6d6e277ea68
/usr/lib/.build-id/8d/8173e810fd709dcf59e02122dcde2b775f3531
/usr/lib/.build-id/af
/usr/lib/.build-id/af/17b55a791f392dba8e56350e1ffc8182bc389c
/usr/lib/.build-id/be
/usr/lib/.build-id/be/57dd1c2de5e937ae6ece5c7f348e3490061ed9
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/db338b4ee25fdd0328934f15a6c0b99256a6e1
/usr/lib/.build-id/cb
/usr/lib/.build-id/cb/b4cbc646a2dfbca62f53191aa1a14aef8746e7
/usr/lib/.build-id/db
/usr/lib/.build-id/db/b63ba78ea938cf0bb515dc4c705fe127565bf5
/usr/lib/.build-id/df
/usr/lib/.build-id/df/0ce13ac6b24eb2f0789e613b045defdea0b7c2
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/c4e18e5073402e8b145e2685a499ec6b3b1143
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/84e7a698ce54e84dcf06520fd90fd278557c64
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/ecfb1faf7f76e7d2202be97c42076711c27dd4
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/26577bfc49091deaaafad98faa0a507b1416e5
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/8ded01fe9f11a78d2cda7ca04a23f73db7c5f6
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/9efa927b272c1a10105c00279b9d6f5a3c9ebf
/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, Sun Jan 9 16:49:35 2022