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 ppc64le

From Fedora 33 for ppc64le / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 1.fc33 Build date: Sat Sep 26 23:29:38 2020
Group: Unspecified Build host: buildvm-ppc64le-26.iad2.fedoraproject.org
Size: 7352162 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/08
/usr/lib/.build-id/08/b7211a70e000dff42f3f7aa9b4cc1ecc29e5db
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/c438fc2eaa056fd509debccca5d86f66c0838c
/usr/lib/.build-id/13
/usr/lib/.build-id/13/7792d5e3295a6b5f785285db55f3cbeef84d9c
/usr/lib/.build-id/29
/usr/lib/.build-id/29/fc6d35fd032a0a80ce8a8b9830f5e8fb0741ad
/usr/lib/.build-id/37
/usr/lib/.build-id/37/143b870a794c9216e8f31f527d3a56acfcad42
/usr/lib/.build-id/37/15d8d08599094cca767bf2563684a4f686438e
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/32f7e843528288043961880b25888f05cce209
/usr/lib/.build-id/48
/usr/lib/.build-id/48/028a74f9d8100499e55119c7bfeb5b12adb4b7
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/6f3d3e19fce552ec31fbaa2fde5b7b8d794a52
/usr/lib/.build-id/4c
/usr/lib/.build-id/4c/365f640d4d2a59c4e6ab910d40f1e0e3d2150a
/usr/lib/.build-id/55
/usr/lib/.build-id/55/92ac988d640bed50c00a89e35bda0cb86ef9da
/usr/lib/.build-id/64
/usr/lib/.build-id/64/603e6b23cdb44d178b9486adbaeb38f3fadc9b
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/ce7512d098fd16342378185563e6d848982474
/usr/lib/.build-id/70
/usr/lib/.build-id/70/5c25a21a997cecbc39a143bf5c77758c50d4fc
/usr/lib/.build-id/79
/usr/lib/.build-id/79/df52784e1a5ddfbcea99d980b10fdd1acd4301
/usr/lib/.build-id/85
/usr/lib/.build-id/85/6139cf10864d344259576d56ed1f08d48cba37
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/f131eb842d7d6d94c1e3767a9fafdb7404f9da
/usr/lib/.build-id/95
/usr/lib/.build-id/95/2ae4b69f8a0e1d49da09c849a6da2ab314ecbf
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/a1bbeedc004943588dd4840726abda05cecf62
/usr/lib/.build-id/a6/f294b1f76eb57d2b3f06a79c7deb10a7dafcc7
/usr/lib/.build-id/af
/usr/lib/.build-id/af/ea471373656817ea388b8db2f67f92055ad5ce
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/b76cc62b6ea431950f0c6a514b5fe6d71d4123
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/91f65470650b8d0222a5b5e0c483f56fba842f
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/645f4107ca32aa29865995d886a095883c9992
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/cd6425e371e5c69ce8263c76a6ef2ead731d9b
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/61be8414f3fa248109a4efe2c418558fe45cd4
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/4d645ff47d25c2dcc22ef0278f482f356b421c
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/c36037b6fa1064893878079fe13c373a2cfe47
/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:59:46 2021