SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : apron
Version : 0.9.13 Vendor : Fedora Project
Release : 1.fc33 Date : 2020-09-26 23:29:21
Group : Unspecified Source RPM : apron-0.9.13-1.fc33.src.rpm
Size : 6.09 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/33/Everything/x86_64/os/Packages/a

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  apron-0.9.13-1.fc33.i686.rpm
ftp.icm.edu.pl  apron-0.9.13-1.fc33.i686.rpm
     Search for other platforms
apron-0.9.13-1.fc33.sparc.rpm
apron-0.9.13-1.fc33.alpha.rpm
apron-0.9.13-1.fc33.ppc.rpm
apron-0.9.13-1.fc33.ia64.rpm
apron-0.9.13-1.fc33.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.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/0d
/usr/lib/.build-id/0d/4f39646d78fa68c2d34ccf4bcb6a0bf22a1015
/usr/lib/.build-id/12
/usr/lib/.build-id/12/26e2db039331b141a6e4c01a18d1dc0f2eef60
/usr/lib/.build-id/21
/usr/lib/.build-id/21/e18557bf648328ffac322694a4aef9b38e48bd
/usr/lib/.build-id/26
/usr/lib/.build-id/26/47ec324b17afd66437d8814185faf5a416edd4
/usr/lib/.build-id/38
/usr/lib/.build-id/38/316e12ea36ed59bad368dae23c00d84bead0ff
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/6ce339a601c1cc60d1b71225635c4ef9c40e88
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/733cde541e92c32292d8adbed98721d997603b
/usr/lib/.build-id/50
/usr/lib/.build-id/50/6985a7527d68c17312ac81d406fb0b04fbebf4
/usr/lib/.build-id/50/ece8b1b13fb2ffa301fde5848fd52ba5f8cef5
/usr/lib/.build-id/51
/usr/lib/.build-id/51/496c1bcd2dfc4b26b070cc652689cbb03c1ee0
/usr/lib/.build-id/54
/usr/lib/.build-id/54/3b3b7ec31e226aa29cc94fecda2d45c4474bc5
/usr/lib/.build-id/58
/usr/lib/.build-id/58/a89f8ad5745b04f9f7eef52bcece1fb7f3c271
/usr/lib/.build-id/62
/usr/lib/.build-id/62/3127c9b64fe4ec63814a7fb3814e3da84c6475
/usr/lib/.build-id/63
/usr/lib/.build-id/63/55413242a118bbf4feb0b7d1f6057031197fff
/usr/lib/.build-id/64
/usr/lib/.build-id/64/3dfed73ac529cb9fa7a84f736d817bab74c1e7
There is 88 files more in these RPM.

 
ICM