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

apron-0.9.13-6.fc36 RPM for x86_64

From Fedora Rawhide for x86_64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 6.fc36 Build date: Mon Oct 4 21:54:36 2021
Group: Unspecified Build host: buildhw-x86-11.iad2.fedoraproject.org
Size: 5615677 Source RPM: apron-0.9.13-6.fc36.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

* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6
  - OCaml 4.13.1 build
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/f8cb377fcb94b7c923dfbe111572ea419a9ccc
/usr/lib/.build-id/24
/usr/lib/.build-id/24/ee5577c339b1f455f76e25d39e68438fc958b3
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/a53003ac0f3ea2bb1c328647615fd997afce8f
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/9f0936c996006e93900cbbaf3af66d10ea0106
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/a27d16013004857f61157b47d136eb7cfe5397
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/5f651c8107f67cbc51db5f697f811b1eb1c12d
/usr/lib/.build-id/2f/de33146fc0f03673834591ee4e435a2eaf192b
/usr/lib/.build-id/30
/usr/lib/.build-id/30/7fefa7d9be384be88d97b715932276520e89bd
/usr/lib/.build-id/31
/usr/lib/.build-id/31/52692f196803b6252c069829e8ac9b348938e3
/usr/lib/.build-id/34
/usr/lib/.build-id/34/c0e7b090ed1168c34b85a655dbcca8535ac6da
/usr/lib/.build-id/49
/usr/lib/.build-id/49/9ce93b599fa50bd30e3d4321996b84805b2a1d
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/5a4f5a88e35a268e279de505e82f759d4a5139
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/7b52bb4d8728f42421a13a646925111aedbe35
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/a13c69cdffa61001838f58014a2aa3614ff82d
/usr/lib/.build-id/55
/usr/lib/.build-id/55/865447d9becc04076410a7efffd7182f0f055f
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/e44a716ef91e0b307416c43975d0813537ef53
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/b3380937a19512e3605edfbb02bd91dfd35feb
/usr/lib/.build-id/74
/usr/lib/.build-id/74/0e177dffe66262dc4ed80bd33598cece585002
/usr/lib/.build-id/80
/usr/lib/.build-id/80/2b35528d11b7e2eff54629cc77bbd1ac2e4084
/usr/lib/.build-id/88
/usr/lib/.build-id/88/576a3b58fc28808d42acfa09a7d92e26f6daa4
/usr/lib/.build-id/89
/usr/lib/.build-id/89/af2083c3add856376f9c9b281c82ea153342a7
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/2a229e7c44cc10368aab48826c96764e4d0e15
/usr/lib/.build-id/be
/usr/lib/.build-id/be/608f9859ef5fa047ade80e5bb1f531b943c0f6
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/20e9e198842f750db71edfd6902d8d16e53b72
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/ff620e57f6d6423a35b1f23c9d82228013c993
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/413a28952d98a78df47f7193ad5512ab688b7b
/usr/lib/.build-id/d9/99a2c5151892da538e8502d4df104cd593331f
/usr/lib/.build-id/df
/usr/lib/.build-id/df/97417cef14b0a9f80aa0e6644c5d02b2266fe9
/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 00:28:47 2021