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

apron-0.9.13-1.fc33 RPM for i686

From Fedora 33 for x86_64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 1.fc33 Build date: Sat Sep 26 23:29:21 2020
Group: Unspecified Build host: buildvm-x86-05.iad2.fedoraproject.org
Size: 6387930 Source RPM: apron-0.9.13-1.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 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/0d
/usr/lib/.build-id/0d/4f39646d78fa68c2d34ccf4bcb6a0bf22a1015
/usr/lib/.build-id/12
/usr/lib/.build-id/12/26e2db039331b141a6e4c01a18d1dc0f2eef60
/usr/lib/.build-id/21
/usr/lib/.build-id/21/e18557bf648328ffac322694a4aef9b38e48bd
/usr/lib/.build-id/26
/usr/lib/.build-id/26/47ec324b17afd66437d8814185faf5a416edd4
/usr/lib/.build-id/38
/usr/lib/.build-id/38/316e12ea36ed59bad368dae23c00d84bead0ff
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/6ce339a601c1cc60d1b71225635c4ef9c40e88
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/733cde541e92c32292d8adbed98721d997603b
/usr/lib/.build-id/50
/usr/lib/.build-id/50/6985a7527d68c17312ac81d406fb0b04fbebf4
/usr/lib/.build-id/50/ece8b1b13fb2ffa301fde5848fd52ba5f8cef5
/usr/lib/.build-id/51
/usr/lib/.build-id/51/496c1bcd2dfc4b26b070cc652689cbb03c1ee0
/usr/lib/.build-id/54
/usr/lib/.build-id/54/3b3b7ec31e226aa29cc94fecda2d45c4474bc5
/usr/lib/.build-id/58
/usr/lib/.build-id/58/a89f8ad5745b04f9f7eef52bcece1fb7f3c271
/usr/lib/.build-id/62
/usr/lib/.build-id/62/3127c9b64fe4ec63814a7fb3814e3da84c6475
/usr/lib/.build-id/63
/usr/lib/.build-id/63/55413242a118bbf4feb0b7d1f6057031197fff
/usr/lib/.build-id/64
/usr/lib/.build-id/64/3dfed73ac529cb9fa7a84f736d817bab74c1e7
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/d84db3ca35768248638ac5285f3b3e6b43d9d3
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/1ccf025e71bb30c65fd8260ff2d766592a0ef8
/usr/lib/.build-id/a3
/usr/lib/.build-id/a3/d69cf21e1bcfa927d0548c37ccdc8d4f9fda4d
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/3aeaca435729b723df380f00cb3f7faaca004c
/usr/lib/.build-id/a4/8e3a65f7f158f77496c8bf36644bf05be8ab4f
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/88001ca91a15b72663cec7e5ed755faff03e50
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/383ed295922494782a13b1ba319eb5ee05f5ed
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/28b570c18d0e0cec82ade57443cef46e761735
/usr/lib/.build-id/b3
/usr/lib/.build-id/b3/cb07784833f35fba0b3d16fa587fc6c1cf3892
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/b759ee7d284f907bd4e2ea0d5f2f146ee9c8a2
/usr/lib/.build-id/c9
/usr/lib/.build-id/c9/053442aeaaf784240cf48339589e9cdb5ea0aa
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/74c22dad1a01503948f79c2421737fe167557e
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/110bf1f7bbddc074ab4aa0dc3becc0016bbc89
/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 17:35:14 2022