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 aarch64

From Fedora 33 for aarch64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 1.fc33 Build date: Sat Sep 26 23:30:42 2020
Group: Unspecified Build host: buildvm-a64-30.iad2.fedoraproject.org
Size: 5990679 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/00
/usr/lib/.build-id/00/122f5d590bbae1e3f207e1fae7187d705adf03
/usr/lib/.build-id/03
/usr/lib/.build-id/03/f19b1d14ec5d08253cc5853763ef06968fcc24
/usr/lib/.build-id/0d
/usr/lib/.build-id/0d/a228718424106fbb7b612cb680466986660bcd
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/e896d36ea2e19f2db357ff85208bd2e2b00dfd
/usr/lib/.build-id/11
/usr/lib/.build-id/11/6948b9e09e85064052a4c85e32aeae2b27e434
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/179c5203f448aad39562a905707e0d685b2c3e
/usr/lib/.build-id/27
/usr/lib/.build-id/27/7c4213ea91d3f3ea6dbda0180855276d98a241
/usr/lib/.build-id/29
/usr/lib/.build-id/29/7bce12787d27a0e82a1ee2cb2c1b76859daefc
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/518292fd7e406a5f304b7c64362815ff405bbd
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/2ac80c2bc21a37d30cb0dea0b5e471a2182b31
/usr/lib/.build-id/3d
/usr/lib/.build-id/3d/f68ff9f374f4b3428ef517114cbecaf176ffb4
/usr/lib/.build-id/41
/usr/lib/.build-id/41/170198dbb4bd17f08f9a9c3173cdf4309efc16
/usr/lib/.build-id/43
/usr/lib/.build-id/43/6ec73047df48d44ca3c251c5419e8cef7ed482
/usr/lib/.build-id/69
/usr/lib/.build-id/69/959bee79221c1be2c1ea09faaa528c5c60370e
/usr/lib/.build-id/70
/usr/lib/.build-id/70/b2bf006ccb782a5e5676c28114ebea02bcfd4f
/usr/lib/.build-id/80
/usr/lib/.build-id/80/0235e5b78d46120bee2a3c3be9f7268729bcf8
/usr/lib/.build-id/83
/usr/lib/.build-id/83/a79ae45ae98bca3aaa6c0f22f44a23252f0fc2
/usr/lib/.build-id/85
/usr/lib/.build-id/85/0ce953a25e20fdd64f51a145d67755eba73dc0
/usr/lib/.build-id/91
/usr/lib/.build-id/91/d5115b63ee9d424dcad2bd088f6374e8e45ed7
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/8036bb50172c7f7e840021c2ce93cbbb3b7978
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/1c093d4857c3ed7f0fc717552eace6574f4c84
/usr/lib/.build-id/a2/d9b6f7b91dc26919f547cab983863911a4c06e
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/ea3adeb07706261d221ddf3c0fc49b621ece93
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/97622840dd4837c9640af57a3a6883ba711c77
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/a856debc2fd0f7e2afb4eef04b62a7a07021f6
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/a8d07b4956ee62ff5b7c7357669fa19f65988f
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/ce9feafa5747a906e479e2e4dc32e57855ec0e
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/252d349fe825da0a5de3fa98588f23b35ddf59
/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, Tue Nov 9 17:50:00 2021