SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : apron
Version : 0.9.13 Vendor : Fedora Project
Release : 10.fc36 Date : 2022-02-05 19:39:26
Group : Unspecified Source RPM : apron-0.9.13-10.fc36.src.rpm
Size : 6.00 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/36/Everything/x86_64/os/Packages/a

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  apron-0.9.13-10.fc36.i686.rpm
     Search for other platforms
apron-0.9.13-10.fc36.sparc.rpm
apron-0.9.13-10.fc36.alpha.rpm
apron-0.9.13-10.fc36.ppc.rpm
apron-0.9.13-10.fc36.ia64.rpm
apron-0.9.13-10.fc36.s390.rpm

Provides :
apron
apron(x86-32)
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

Requires :
libap_ppl.so.0
libap_ppl_debug.so.0
libapron.so.0
libapron_debug.so.0
libboxD.so.0
libboxD_debug.so.0
libboxMPFR.so.0
libboxMPFR_debug.so.0
libboxMPQ.so.0
libboxMPQ_debug.so.0
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.4)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.0)
libgcc_s.so.1(GCC_3.3.1)
libgmp.so.10
libgmpxx.so.4
libm.so.6
libm.so.6(GLIBC_2.0)
libm.so.6(GLIBC_2.1)
libmpfr.so.6
libpolkaMPQ.so.0
libpolkaMPQ_debug.so.0
libppl.so.14
libstdc++.so.6
libstdc++.so.6(CXXABI_1.3)
libstdc++.so.6(CXXABI_1.3.1)
libstdc++.so.6(CXXABI_1.3.8)
libstdc++.so.6(CXXABI_1.3.9)
libstdc++.so.6(GLIBCXX_3.4)
libstdc++.so.6(GLIBCXX_3.4.21)
libstdc++.so.6(GLIBCXX_3.4.29)
libstdc++.so.6(GLIBCXX_3.4.30)
libstdc++.so.6(GLIBCXX_3.4.9)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/16
/usr/lib/.build-id/16/5de0e491a9bbe540a2a93265b004dba2d1133a
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/822a3f2556efa68ce626b980b08262e6c13b02
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/3d7ed132ab77b720bd9b096822ec1c4f4a721b
/usr/lib/.build-id/26
/usr/lib/.build-id/26/4b6484a5eea597627365a91531799a17320e9c
/usr/lib/.build-id/38
/usr/lib/.build-id/38/e46cf06537ef7249c8a19f5f43ded1d2ece2e3
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/3130d2adc4424a23407fc1e0eb62c7d7f8685e
/usr/lib/.build-id/46
/usr/lib/.build-id/46/9793aa963a047ebd566eb09b994eb63b6eeb8c
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/d806f482baa74b7f75c8f1bdd4b723036cb412
/usr/lib/.build-id/52
/usr/lib/.build-id/52/44c0e4e22188c88aa7974207385836a1a01ff2
/usr/lib/.build-id/55
/usr/lib/.build-id/55/7d120a64ba041e6a35c05a84362e525db1bdf4
/usr/lib/.build-id/58
/usr/lib/.build-id/58/193176395682e9ddc4c81ffefadb78f9b802c8
/usr/lib/.build-id/66
/usr/lib/.build-id/66/047aa25aa2b96a7e0844e7ceebc4a04350a17f
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/4e6f8b39874cbfa62bf6f26f4a1d5eef141252
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/b3180959825ccdeb39e46a28169e0ad50abaa8
/usr/lib/.build-id/8c
There is 89 files more in these RPM.

 
ICM