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

apron-0.9.13-5.fc35 RPM for armv7hl

From Fedora 35 for armhfp / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 5.fc35 Build date: Wed Jul 21 20:29:53 2021
Group: Unspecified Build host: buildvm-a32-18.iad2.fedoraproject.org
Size: 4726034 Source RPM: apron-0.9.13-5.fc35.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

* 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
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/c6e2ef181f33b29f1d0d42ae425a8771333c42
/usr/lib/.build-id/02
/usr/lib/.build-id/02/f5db2e2199accf621b991126b5169489c91112
/usr/lib/.build-id/08
/usr/lib/.build-id/08/dcd642dd362c3194a6bda006269325c1338d11
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/6ee30172ec926c3db3968932754e1893bf0107
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/d0b1b501c5b9183551db7ea2abbaadf5366e0a
/usr/lib/.build-id/22
/usr/lib/.build-id/22/f003ba91cb662ef17ecb3a5403060015d70986
/usr/lib/.build-id/35
/usr/lib/.build-id/35/e22649523407f82a8d8a8c7a8daa567c34a954
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/f2be9c2731c94745e48dfbfef8339cb1615cd2
/usr/lib/.build-id/58
/usr/lib/.build-id/58/86f314309d2a9a2bb47a14e77b496491a643a6
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/cf3a4ccb93c0f311113162bb2e4738d252f6cc
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/02b6395fdc4e899565deab8a235d39e8a3956f
/usr/lib/.build-id/62
/usr/lib/.build-id/62/a3326af4bbaf4f7767f6c3a841cf53757a8a19
/usr/lib/.build-id/63
/usr/lib/.build-id/63/4af2431c1f4e76677d9c4267355b6c4443ff28
/usr/lib/.build-id/67
/usr/lib/.build-id/67/4723b643ba2c7d4e2600f1e3ba57a615ddd421
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/7657867fa4c07d1e9ab3c99868eb77b0121d65
/usr/lib/.build-id/73
/usr/lib/.build-id/73/bf8adf96b8f719909bca2f8f0215968af4557c
/usr/lib/.build-id/75
/usr/lib/.build-id/75/7a22c8cbd602365d3d4903879340332eb90cce
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/1381b0ef23c349f8c168c0264faea30ce72dd6
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/9ac59a669384e4542158dd47dfc05e86033095
/usr/lib/.build-id/89
/usr/lib/.build-id/89/b2aab0d0677b4b5cfcea057e2397f602eaa748
/usr/lib/.build-id/89/f2795f96d1e02dfe1222ca7425ef3e0bc7f6f7
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/0cac88c37b4704321739a1e85cac13cfd967a2
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/a7d478335551d1439770cab6c32d95a8f44b07
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/100bba36e22b8146afb3c821680e3b26655dbd
/usr/lib/.build-id/af
/usr/lib/.build-id/af/b195400d93134c021776e68facb9d3938e8779
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/ae07e1ba0f5a4468b14aa7518661cca25d70b7
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/0b42201ecee70fade71534a567815671fe5abc
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/680e3f32d1a4104eb8f14e42659420a929c983
/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 22:16:29 2022