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 i686

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:44 2020
Group: Unspecified Build host: buildhw-x86-04.iad2.fedoraproject.org
Size: 6383862 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/05
/usr/lib/.build-id/05/ee172fdb13afc21091565e981281e1a76af602
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/fba209052784043d6811938c4b0337baaa62c7
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/e448abc656f8d002ac4510ac3b6759291014d1
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/807e15e86126904a51b81471cc36c38a4c7b42
/usr/lib/.build-id/3d
/usr/lib/.build-id/3d/8609505ee19a01fb5314bb279386d583746ec5
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/01e1c2cb93299162527513f3440e118abc6ad6
/usr/lib/.build-id/64
/usr/lib/.build-id/64/170740a2cf5fe10c351db53df815dcc2204be0
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/c36ef2af2ba712664495a628f92573da8afb4d
/usr/lib/.build-id/72
/usr/lib/.build-id/72/600aa6b7a607e3e3f320840957a0ea40a88b00
/usr/lib/.build-id/73
/usr/lib/.build-id/73/4634f125aeb7b5717387742a59012a2b2b3249
/usr/lib/.build-id/84
/usr/lib/.build-id/84/760626027bec41f0a085f8a11f4f2dacdb8386
/usr/lib/.build-id/84/dec48f7b30f08c8c6fb86124b3a1b5f39b15b1
/usr/lib/.build-id/85
/usr/lib/.build-id/85/248b4ac6b64f68d48e8ac6d465f6a91112fe64
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/ecaab8531190e7112417c219fd29eec825a383
/usr/lib/.build-id/92
/usr/lib/.build-id/92/16fd140b31ff801e06be91f667ab84572eb2dd
/usr/lib/.build-id/93
/usr/lib/.build-id/93/ecaef366d6c2318483ab8bb96a105cf4385c95
/usr/lib/.build-id/95
/usr/lib/.build-id/95/4c1c2a27d38e1b23e0477a53ec9624e8bb4441
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/b51c205c9c4c4515ce0b411b62ca97c91bdd0a
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/6583e6dad6ecd3ea4311237d09a6b27b0ffbaa
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/450bea2c2500322c8dbcb08cadbeba67b64c5a
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/2366045c0695eb9091d96149b0b73734066d49
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/2ad633f5888c3783b4b62b4ad4f5c32c25dd40
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/9cceef68ff9063cef8da42fab21e9fca361ab7
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/05139db25a4d8b64d93daba4d4fa296e5eaffb
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/e21987b359174ea33bfd7c2158820fbc34d8dd
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/7d0803b99286355f32002d6c48efa161c18855
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/3e5be80c2a8892eab0d5352156f80df4b75182
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/7cfea37228c4291e2f2c5670290c0c3ea9dc84
/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:00:53 2022