apron-0.9.11-1.1096.svn20160531.fc25.i686.rpm


Advertisement

Description

apron - Numerical abstract domain library

Distribution: Fedora 25
Repository: Fedora i386
Package name: apron
Package version: 0.9.11
Package release: 1.1096.svn20160531.fc25
Package architecture: i686
Package type: rpm
Installed size: 6.07 MB
Download size: 1.96 MB
Official Mirror: dl.fedoraproject.org
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

  • apron = 0.9.11-1.1096.svn20160531.fc25
  • apron(x86-32) = 0.9.11-1.1096.svn20160531.fc25
  • libap_pkgrid.so.0
  • libap_pkgrid_debug.so.0
  • libap_ppl.so.0
  • libap_ppl_debug.so.0
  • libapron.so.0
  • libapron_debug.so.0
  • libapronxx.so.0
  • libapronxx_debug.so.0
  • libboxD.so.0
  • libboxD_debug.so.0
  • libboxMPFR.so.0
  • libboxMPFR_debug.so.0
  • libboxMPQ.so.0
  • libboxMPQ_debug.so.0
  • liboctD.so.0
  • liboctD_debug.so.0
  • liboctMPQ.so.0
  • liboctMPQ_debug.so.0
  • libpolkaMPQ.so.0
  • libpolkaMPQ_debug.so.0
  • libpolkaRll.so.0
  • libpolkaRll_debug.so.0
  • libt1pD.so.0
  • libt1pD_debug.so.0
  • libt1pMPFR.so.0
  • libt1pMPFR_debug.so.0
  • libt1pMPQ.so.0
  • libt1pMPQ_debug.so.0

    Install Howto

    Install the apron rpm package:

    # dnf install apron

    Files

    • /usr/lib/libap_pkgrid.so.0
    • /usr/lib/libap_pkgrid.so.0.9.11
    • /usr/lib/libap_pkgrid_debug.so.0
    • /usr/lib/libap_pkgrid_debug.so.0.9.11
    • /usr/lib/libap_ppl.so.0
    • /usr/lib/libap_ppl.so.0.9.11
    • /usr/lib/libap_ppl_debug.so.0
    • /usr/lib/libap_ppl_debug.so.0.9.11
    • /usr/lib/libapron.so.0
    • /usr/lib/libapron.so.0.9.11
    • /usr/lib/libapron_debug.so.0
    • /usr/lib/libapron_debug.so.0.9.11
    • /usr/lib/libapronxx.so.0
    • /usr/lib/libapronxx.so.0.9.11
    • /usr/lib/libapronxx_debug.so.0
    • /usr/lib/libapronxx_debug.so.0.9.11
    • /usr/lib/libboxD.so.0
    • /usr/lib/libboxD.so.0.9.11
    • /usr/lib/libboxD_debug.so.0
    • /usr/lib/libboxD_debug.so.0.9.11
    • /usr/lib/libboxMPFR.so.0
    • /usr/lib/libboxMPFR.so.0.9.11
    • /usr/lib/libboxMPFR_debug.so.0
    • /usr/lib/libboxMPFR_debug.so.0.9.11
    • /usr/lib/libboxMPQ.so.0
    • /usr/lib/libboxMPQ.so.0.9.11
    • /usr/lib/libboxMPQ_debug.so.0
    • /usr/lib/libboxMPQ_debug.so.0.9.11
    • /usr/lib/liboctD.so.0
    • /usr/lib/liboctD.so.0.9.11
    • /usr/lib/liboctD_debug.so.0
    • /usr/lib/liboctD_debug.so.0.9.11
    • /usr/lib/liboctMPQ.so.0
    • /usr/lib/liboctMPQ.so.0.9.11
    • /usr/lib/liboctMPQ_debug.so.0
    • /usr/lib/liboctMPQ_debug.so.0.9.11
    • /usr/lib/libpolkaMPQ.so.0
    • /usr/lib/libpolkaMPQ.so.0.9.11
    • /usr/lib/libpolkaMPQ_debug.so.0
    • /usr/lib/libpolkaMPQ_debug.so.0.9.11
    • /usr/lib/libpolkaRll.so.0
    • /usr/lib/libpolkaRll.so.0.9.11
    • /usr/lib/libpolkaRll_debug.so.0
    • /usr/lib/libpolkaRll_debug.so.0.9.11
    • /usr/lib/libt1pD.so.0
    • /usr/lib/libt1pD.so.0.9.11
    • /usr/lib/libt1pD_debug.so.0
    • /usr/lib/libt1pD_debug.so.0.9.11
    • /usr/lib/libt1pMPFR.so.0
    • /usr/lib/libt1pMPFR.so.0.9.11
    • /usr/lib/libt1pMPFR_debug.so.0
    • /usr/lib/libt1pMPFR_debug.so.0.9.11
    • /usr/lib/libt1pMPQ.so.0
    • /usr/lib/libt1pMPQ.so.0.9.11
    • /usr/lib/libt1pMPQ_debug.so.0
    • /usr/lib/libt1pMPQ_debug.so.0.9.11
    • /usr/share/doc/apron/AUTHORS
    • /usr/share/doc/apron/Changes
    • /usr/share/doc/apron/README
    • /usr/share/doc/apron/apron.pdf
    • /usr/share/licenses/apron/COPYING

    Changelog

    2016-07-16 - Jerry James <loganjerry@gmail.com> - 0.9.11-1.1096.svn20160531 - Update to latest subversion commit

    2016-03-06 - Than Ngo <than@redhat.com> - 0.9.10-36.svn20160125 - remove wWorkaround bz 1305739; it's fixed in lates doxygen

    2016-02-12 - Jerry James <loganjerry@gmail.com> - 0.9.10-35.1091.svn20160125 - Some ocaml projects need the debug libraries; add them back in

    2016-02-12 - Jerry James <loganjerry@gmail.com> - 0.9.10-34.1091.svn20160125 - Update to latest subversion commit - Add japron subpackage with the Java interface - Add %check script - Drop upstreamed -format-security, -mlgmpidl12, -test, and -ppl1 patches - Add -texinfo patch to fix documentation build failure

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.9.10-33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-07-28 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-32 - Bump release and rebuild.

    2015-07-28 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-31 - OCaml 4.02.3 rebuild.

    2015-07-21 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-30 - Fix bytecode compilation.

    2015-06-24 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-29 - ocaml-4.02.2 final rebuild.

    2015-06-17 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-28 - ocaml-4.02.2 rebuild.

    Advertisement
    Advertisement