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

apron-0.9.12-3.fc32.1 RPM for ppc64le

From Fedora 32 for ppc64le / a

Name: apron Distribution: Fedora Project
Version: 0.9.12 Vendor: Fedora Project
Release: 3.fc32.1 Build date: Thu Feb 27 22:30:55 2020
Group: Unspecified Build host: buildvm-ppc64le-29.ppc.fedoraproject.org
Size: 7854851 Source RPM: apron-0.9.12-3.fc32.1.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

* Thu Feb 27 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3.1
  - OCaml 4.10.0 final (Fedora 32).
* 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
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-22.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-21.1104.svn20180624
  - OCaml 4.07.0 (final) rebuild.
* Sat Jul 07 2018 Jerry James <loganjerry@gmail.com> - 0.9.11-20.1104.svn20180624
  - Update to latest subversion commit
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-19.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-18.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-17.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-16.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-15.1097.svn20160801
  - OCaml 4.07.0-rc1 rebuild.

Files

/usr/lib/.build-id
/usr/lib/.build-id/03
/usr/lib/.build-id/03/19b1f271f67a540d0eeeaa02ab15ba5fe8d007
/usr/lib/.build-id/06
/usr/lib/.build-id/06/8c27926145fa1512b543f72d3e8343aaaa3deb
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/48572c39ad9d671de6740a47b5419bc96bf6c5
/usr/lib/.build-id/20
/usr/lib/.build-id/20/b633f67910bda1da3266ad5c05834f71ff1009
/usr/lib/.build-id/26
/usr/lib/.build-id/26/6b5456d3eb5188edcef21edac969fb4c274c0a
/usr/lib/.build-id/28
/usr/lib/.build-id/28/7483d77bd7d14f050e5de174c24631fbfbd4c8
/usr/lib/.build-id/31
/usr/lib/.build-id/31/ecb97920efa06eef2326c1b1df20e7074db13e
/usr/lib/.build-id/37
/usr/lib/.build-id/37/48ee2469580d304ab56dd44028b3f189a8d5d9
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/d7be1b30eae020c65b55d5b3ac41da1b4ab3b1
/usr/lib/.build-id/48
/usr/lib/.build-id/48/6588fdf329cdc2ef6973b77580843677f0c693
/usr/lib/.build-id/52
/usr/lib/.build-id/52/7fa570b7886f949a1d6c6e0318e70187ec1040
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/37778bd3cbaa380013978a90c4a4d091dfaa4f
/usr/lib/.build-id/90
/usr/lib/.build-id/90/b351b65a83d9fbb41483ba5c7e93606224b5a8
/usr/lib/.build-id/95
/usr/lib/.build-id/95/1b96921cf4a2106ba38a3fdce90e0078bdafb3
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/006f04639ebe9ee3d913a6536f55ee4cd23749
/usr/lib/.build-id/a0/8c16e975f37a1dde88117089be19091230ace8
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/54eca96890bdf837dbb21dd463fa360d2aea4f
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/19e4630cd6485056d054b6c166acf9523716e6
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/43d3571bf16923900cee47bdde019d866a1d23
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/1c4df3e98af4bb23df02cc4ae76c6ee23fee97
/usr/lib/.build-id/ce/ce349955cd4c8c172b2c364d0df2f46af76b45
/usr/lib/.build-id/db
/usr/lib/.build-id/db/60d38974039c0d5ab62d37ba6d619dc4da7c2c
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/023dd1da921f961bd31c28dacd1b64d40cb319
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/8d68c56ef47c93185b6c96fc05e6f5dada00e8
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/e42a0c7eb582e565ce64b95204fb5c0a6743da
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/db2fb1b4976953e8038f0d6793a3c84853bf5e
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/6646d392d72bd79a8a5509033e1f0b2519d1f1
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/cb467a07ba7a40e8ae914443aa670592771828
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.12
/usr/lib64/libap_pkgrid_debug.so.0
/usr/lib64/libap_pkgrid_debug.so.0.9.12
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.12
/usr/lib64/libap_ppl_debug.so.0
/usr/lib64/libap_ppl_debug.so.0.9.12
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.12
/usr/lib64/libapron_debug.so.0
/usr/lib64/libapron_debug.so.0.9.12
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.12
/usr/lib64/libapronxx_debug.so.0
/usr/lib64/libapronxx_debug.so.0.9.12
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.12
/usr/lib64/libboxD_debug.so.0
/usr/lib64/libboxD_debug.so.0.9.12
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.12
/usr/lib64/libboxMPFR_debug.so.0
/usr/lib64/libboxMPFR_debug.so.0.9.12
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.12
/usr/lib64/libboxMPQ_debug.so.0
/usr/lib64/libboxMPQ_debug.so.0.9.12
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.12
/usr/lib64/liboctD_debug.so.0
/usr/lib64/liboctD_debug.so.0.9.12
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.12
/usr/lib64/liboctMPQ_debug.so.0
/usr/lib64/liboctMPQ_debug.so.0.9.12
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.12
/usr/lib64/libpolkaMPQ_debug.so.0
/usr/lib64/libpolkaMPQ_debug.so.0.9.12
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.12
/usr/lib64/libpolkaRll_debug.so.0
/usr/lib64/libpolkaRll_debug.so.0.9.12
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.12
/usr/lib64/libt1pD_debug.so.0
/usr/lib64/libt1pD_debug.so.0.9.12
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.12
/usr/lib64/libt1pMPFR_debug.so.0
/usr/lib64/libt1pMPFR_debug.so.0.9.12
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.12
/usr/lib64/libt1pMPQ_debug.so.0
/usr/lib64/libt1pMPQ_debug.so.0.9.12
/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 16:22:11 2022