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 armv7hl

From Fedora 32 testing updates for armhfp / Packages / a

Name: apron Distribution: Fedora Project
Version: 0.9.12 Vendor: Fedora Project
Release: 3.fc32.1 Build date: Thu Feb 27 22:30:40 2020
Group: Unspecified Build host: buildvm-armv7-15.arm.fedoraproject.org
Size: 4913199 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/08
/usr/lib/.build-id/08/dc4a2b714fde4df395d17060c6195d6369bb1f
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/a0a83b1cd5002c55aad2d7c76a7867c8225927
/usr/lib/.build-id/17
/usr/lib/.build-id/17/98ad196aacb753c9ab8a7ddca2a0c686e37a46
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/023d343180e7d338fff5996557825d2a5b700d
/usr/lib/.build-id/20
/usr/lib/.build-id/20/2563d78ccbde0af60f613864ef38f6bf1fd131
/usr/lib/.build-id/3d
/usr/lib/.build-id/3d/9f95cd5c63c95bc10c20f1b8a26888d9e03efb
/usr/lib/.build-id/40
/usr/lib/.build-id/40/68fbe107d99c6ce2e9d0b904c4efc2e6c784d7
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/efea06a3ee9afbe5483278a3d806a5031a053b
/usr/lib/.build-id/55
/usr/lib/.build-id/55/cf85d2e55394bf17555a2e92657c1c5da12be1
/usr/lib/.build-id/65
/usr/lib/.build-id/65/c028dd900f0bc0a63e4d5e1a18357ea2463c4b
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/047d0ed7a9d289f60b23fb6d0cd1f0bff29092
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/6361717bbe5cc99e62e09395e24045d70b7aec
/usr/lib/.build-id/72
/usr/lib/.build-id/72/93ee8add1226de5381445964d0bd095e4cc510
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/9260e67a5ae4c546a315e189f80e45b2bb615e
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/368dee59dc0a75406c3d476cf547119a93a6b8
/usr/lib/.build-id/91
/usr/lib/.build-id/91/2e0e1a3fb4123e87ae0e98b909c46862a1ff3d
/usr/lib/.build-id/98
/usr/lib/.build-id/98/0070c03593e2b2e9d71a4f7db9f1cb9d784b9c
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/80f8dc7dc7e35291bde1f1365e2a191b89e78b
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/8d976e964c733597ace85a9c8776325317c211
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/69a6885e04090d672d83b2b5ae41716442d266
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/08bc2f81093d32fd93ed20d0f10f103534711b
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/6fbf9e82f82d3299d7faa63f57a7d874950700
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/f933b1a3a859113cf028e5df552a097bd0e300
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/0373a1940e466d6251dc74352bb04d108915b4
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/136b7ba070fa36f6844a9da26f4556a14786f3
/usr/lib/.build-id/e3/240a46310eedd1e3739a71eb00512317dd4313
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/618c1918cbd74737cb10a4b6c3fb8237ca9248
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/475c0e8862605eb293093dfde652304e91ad96
/usr/lib/libap_pkgrid.so.0
/usr/lib/libap_pkgrid.so.0.9.12
/usr/lib/libap_pkgrid_debug.so.0
/usr/lib/libap_pkgrid_debug.so.0.9.12
/usr/lib/libap_ppl.so.0
/usr/lib/libap_ppl.so.0.9.12
/usr/lib/libap_ppl_debug.so.0
/usr/lib/libap_ppl_debug.so.0.9.12
/usr/lib/libapron.so.0
/usr/lib/libapron.so.0.9.12
/usr/lib/libapron_debug.so.0
/usr/lib/libapron_debug.so.0.9.12
/usr/lib/libapronxx.so.0
/usr/lib/libapronxx.so.0.9.12
/usr/lib/libapronxx_debug.so.0
/usr/lib/libapronxx_debug.so.0.9.12
/usr/lib/libboxD.so.0
/usr/lib/libboxD.so.0.9.12
/usr/lib/libboxD_debug.so.0
/usr/lib/libboxD_debug.so.0.9.12
/usr/lib/libboxMPFR.so.0
/usr/lib/libboxMPFR.so.0.9.12
/usr/lib/libboxMPFR_debug.so.0
/usr/lib/libboxMPFR_debug.so.0.9.12
/usr/lib/libboxMPQ.so.0
/usr/lib/libboxMPQ.so.0.9.12
/usr/lib/libboxMPQ_debug.so.0
/usr/lib/libboxMPQ_debug.so.0.9.12
/usr/lib/liboctD.so.0
/usr/lib/liboctD.so.0.9.12
/usr/lib/liboctD_debug.so.0
/usr/lib/liboctD_debug.so.0.9.12
/usr/lib/liboctMPQ.so.0
/usr/lib/liboctMPQ.so.0.9.12
/usr/lib/liboctMPQ_debug.so.0
/usr/lib/liboctMPQ_debug.so.0.9.12
/usr/lib/libpolkaMPQ.so.0
/usr/lib/libpolkaMPQ.so.0.9.12
/usr/lib/libpolkaMPQ_debug.so.0
/usr/lib/libpolkaMPQ_debug.so.0.9.12
/usr/lib/libpolkaRll.so.0
/usr/lib/libpolkaRll.so.0.9.12
/usr/lib/libpolkaRll_debug.so.0
/usr/lib/libpolkaRll_debug.so.0.9.12
/usr/lib/libt1pD.so.0
/usr/lib/libt1pD.so.0.9.12
/usr/lib/libt1pD_debug.so.0
/usr/lib/libt1pD_debug.so.0.9.12
/usr/lib/libt1pMPFR.so.0
/usr/lib/libt1pMPFR.so.0.9.12
/usr/lib/libt1pMPFR_debug.so.0
/usr/lib/libt1pMPFR_debug.so.0.9.12
/usr/lib/libt1pMPQ.so.0
/usr/lib/libt1pMPQ.so.0.9.12
/usr/lib/libt1pMPQ_debug.so.0
/usr/lib/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 14:33:21 2022