SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

apron rpm build for : Fedora 23. For other distributions click apron.

Name : apron
Version : 0.9.10 Vendor : Fedora Project
Release : 29.fc23 Date : 2015-06-24 22:26:15
Group : Unspecified Source RPM : apron-0.9.10-29.fc23.src.rpm
Size : 2.45 MB
Packager : Fedora Project
Summary : Numerical abstract domain library
Description :
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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/23/Everything/x86_64/os/Packages/a

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  apron-0.9.10-29.fc23.i686.rpm
ftp.icm.edu.pl  apron-0.9.10-29.fc23.i686.rpm
     Search for other platforms
apron-0.9.10-29.fc23.sparc.rpm
apron-0.9.10-29.fc23.alpha.rpm
apron-0.9.10-29.fc23.ppc.rpm
apron-0.9.10-29.fc23.ia64.rpm
apron-0.9.10-29.fc23.s390.rpm

Provides :
apron
apron(x86-32)
libap_pkgrid.so.0
libap_ppl.so.0
libapron.so.0
libapronxx.so.0
libboxD.so.0
libboxMPFR.so.0
libboxMPQ.so.0
liboctD.so.0
liboctMPQ.so.0
libpolkaMPQ.so.0
libpolkaRll.so.0

Requires :
libstdc++.so.6(GLIBCXX_3.4)
libmpfr.so.4
ld-linux.so.2
libgmpxx.so.4
libc.so.6(GLIBC_2.0)
libstdc++.so.6(CXXABI_1.3.1)
rtld(GNU_HASH)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libm.so.6(GLIBC_2.0)
libm.so.6
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
libstdc++.so.6
libc.so.6(GLIBC_2.4)
libapron.so.0
libgcc_s.so.1
libppl.so.13
libc.so.6(GLIBC_2.1.3)
libstdc++.so.6(GLIBCXX_3.4.21)
libm.so.6(GLIBC_2.1)
rpmlib(PayloadIsXz) <= 5.2-1
libgcc_s.so.1(GCC_3.0)
libap_ppl.so.0
libstdc++.so.6(CXXABI_1.3)
/sbin/ldconfig
libc.so.6
libc.so.6(GLIBC_2.3.4)
libgmp.so.10


Content of RPM :
/usr/lib/libap_pkgrid.so.0
/usr/lib/libap_pkgrid.so.0.9.10
/usr/lib/libap_ppl.so.0
/usr/lib/libap_ppl.so.0.9.10
/usr/lib/libapron.so.0
/usr/lib/libapron.so.0.9.10
/usr/lib/libapronxx.so.0
/usr/lib/libapronxx.so.0.9.10
/usr/lib/libboxD.so.0
/usr/lib/libboxD.so.0.9.10
/usr/lib/libboxMPFR.so.0
/usr/lib/libboxMPFR.so.0.9.10
/usr/lib/libboxMPQ.so.0
/usr/lib/libboxMPQ.so.0.9.10
/usr/lib/liboctD.so.0
/usr/lib/liboctD.so.0.9.10
/usr/lib/liboctMPQ.so.0
/usr/lib/liboctMPQ.so.0.9.10
/usr/lib/libpolkaMPQ.so.0
/usr/lib/libpolkaMPQ.so.0.9.10
/usr/lib/libpolkaRll.so.0
/usr/lib/libpolkaRll.so.0.9.10
/usr/share/doc/apron
/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
/usr/share/licenses/apron/COPYING

 
ICM