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

apron-0.9.13-3.fc34 RPM for i686

From Fedora 34 for x86_64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 3.fc34 Build date: Tue Jan 26 01:53:01 2021
Group: Unspecified Build host: buildhw-x86-06.iad2.fedoraproject.org
Size: 6394290 Source RPM: apron-0.9.13-3.fc34.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

* 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
* 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/04
/usr/lib/.build-id/04/8e5aaf2145f050e7546e6b0993b0d58671cc5a
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/2153efbc4f245bbab32d826ae254270b89d54e
/usr/lib/.build-id/10
/usr/lib/.build-id/10/74231ac7d35cb058438dfc518c5b71c98dfb0c
/usr/lib/.build-id/14
/usr/lib/.build-id/14/11d8fcb39b8c5b467891b454185f6cf5c48dfd
/usr/lib/.build-id/27
/usr/lib/.build-id/27/7d9879a83a14f1bfb6f86dbf12ab3421f91053
/usr/lib/.build-id/28
/usr/lib/.build-id/28/d8cb1a51f8cea5173025dfd9233deaaa5a3972
/usr/lib/.build-id/46
/usr/lib/.build-id/46/eadb5c9ecc8d61263a7a921c065ff7e1f009fe
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/4bd92e6750a678df5569177dc8459c2223cd9f
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/f63083544800ba5fb7a207ba745d825002218f
/usr/lib/.build-id/77
/usr/lib/.build-id/77/e8dd3d7f7c927e472c81a656997e51574c37ea
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/540079d7ec5d0310a7cf29e34880ea4e5904ad
/usr/lib/.build-id/92
/usr/lib/.build-id/92/e0f7a54d76394352272dcc86fc8d64ebbb58fe
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/fb705c532cd894b34574f37712d60434aeb820
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/128c173276301ad4053de910ee42e821e19075
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/1ba96fc2e5a35a89a0e2951210d620101c19a5
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/6446623d70b2f0c1ba8390cfb3e9881f08fb23
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/b534da48b9ed457a0ee222a83c6feb9e8faee3
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/0ff9e2b8c11b8912075dd53c37c0abf9d95df1
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/c03824d7b89772832ac6f0b7ba8100e14f2a2f
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/bda533718577d2d7e83717e7a7e7fbbde7c2aa
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/cb072c0bc0573347c1b295f8fc1f00b32dfed1
/usr/lib/.build-id/db
/usr/lib/.build-id/db/f9ca664060388388208fe8ed165cdbe95bb66f
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/fcda22c8f831bc07a2563b8b4a2f973234f577
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/b359e793be479201b6e781e64ad752a3816c7c
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/ed530157aacc464c532ce455a9757c91769688
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/e7d0e51abb4731649197dd14bd973c3e8654e6
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/cf8b57877ca9e181e078297664b1930d334c8c
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/49a4abebc22fb62c384fc716c2d17081489340
/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 20:51:24 2022