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 x86_64

From Fedora 33 updates for x86_64 / Packages / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 2.fc33 Build date: Fri Nov 20 22:58:32 2020
Group: Unspecified Build host: buildhw-x86-02.iad2.fedoraproject.org
Size: 5700946 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/0e
/usr/lib/.build-id/0e/3e28203c5e275522b1fd68a4d0ad5f37902f8b
/usr/lib/.build-id/13
/usr/lib/.build-id/13/0aa6887bae1c7cd8f35bc3867a8d8e917b0ed9
/usr/lib/.build-id/18
/usr/lib/.build-id/18/d46ccc7ca80ecfb58ea9a2f4a70cca71de2b2a
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/060a5543fb2b628dae0f60098fba7399659bad
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/0bcb76a63c9526f73ebe9a2d7032a61a5dc911
/usr/lib/.build-id/28
/usr/lib/.build-id/28/68bee4b1c99e1be04e9b70d8cfc502edd11851
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/09b2590db3db91b5cf47c411f41876ea54a8e7
/usr/lib/.build-id/43
/usr/lib/.build-id/43/603b71994926738fc317133050beb376fb8ede
/usr/lib/.build-id/57
/usr/lib/.build-id/57/e45787e5fb87f26bd70af4ccd14c5eff46bc49
/usr/lib/.build-id/66
/usr/lib/.build-id/66/e987a3dcfb70efdd7d6c6a98adf901b29fe62b
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/d774fff5a1c20e427b442810eb4e05333efc1d
/usr/lib/.build-id/71
/usr/lib/.build-id/71/5a7c8aebe0ca32648bdc42592a336a668a7b06
/usr/lib/.build-id/75
/usr/lib/.build-id/75/1f746aa25f682a1a56db9e0310b6bec9c933a4
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/7b5ca5ded60942d015cfe8d6d1c8f032e513ee
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/a07894b50ecdd65fe524950fd8e7e963139be0
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/25b1d5584518940461fe1e5cd4e5345ab5cf80
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/acac0d07a96eb8386bbf7e12b095b78e156ee3
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/f7123a4372b8f4c6b1c33692f28ad7562805fc
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/37900d418bfcd32148130e3430a5758ea853fe
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/329dcee0272137fba4f3f904fa1e8c52911057
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/c3266e1c9ca659f7dde471321619c0ce476096
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/e4247dd50bfed390ceb4ce8bd8a20215eac58b
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/84a726e07711a0033bd239272c9299127cba54
/usr/lib/.build-id/cb
/usr/lib/.build-id/cb/020dce59fd57bb03928c3d553ce5bb545867ed
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/ec95b4393ee7a685f46e39de504e08acef62ee
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/11d3779178da04aea9a644cb489aaf46602574
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/1a1085521fb426bf621e65f779009fd666fb23
/usr/lib/.build-id/f8
/usr/lib/.build-id/f8/85cf8dd0db69cf23cb0f0547f9b08af4af353a
/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:22:15 2021