apron-0.9.11-6.1097.svn20160801.fc26.i686.rpm


Advertisement

Description

apron - Numerical abstract domain library

Property Value
Distribution Fedora 26
Repository Fedora x86_64
Package name apron
Package version 0.9.11
Package release 6.1097.svn20160801.fc26
Package architecture i686
Package type rpm
Installed size 6.09 MB
Download size 2.03 MB
Official Mirror archives.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.

Alternatives

Package Version Architecture Repository
apron-0.9.11-6.1097.svn20160801.fc26.x86_64.rpm 0.9.11 x86_64 Fedora
apron-0.9.11-6.1097.svn20160801.fc26.i686.rpm 0.9.11 i686 Fedora
apron - - -

Requires

Name Value
/sbin/ldconfig -
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgmp.so.10 -
libgmpxx.so.4 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libmpfr.so.4 -
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) -
rtld(GNU_HASH) -

Provides

Name Value
apron = 0.9.11-6.1097.svn20160801.fc26
apron(x86-32) = 0.9.11-6.1097.svn20160801.fc26
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 -

Download

Type URL
Binary Package apron-0.9.11-6.1097.svn20160801.fc26.i686.rpm
Source Package apron-0.9.11-6.1097.svn20160801.fc26.src.rpm

Install Howto

Install the apron rpm package:

# dnf install apron

Files

Path
/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

2017-03-24 - Jerry James <loganjerry@gmail.com> - 0.9.11-6.1097.svn20160801
- Rebuild for mlgmpidl
2017-03-03 - Jerry James <loganjerry@gmail.com> - 0.9.11-5.1097.svn20160801
- Update to latest subversion commit and rebuild for ppl 1.2
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-4.1096.svn20160531
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-11-09 - Dan HorĂ¡k <dan@danny.cz> - 0.9.11-3.1096.svn20160531
- rebuild for s390x codegen bug
2016-11-06 - Richard W.M. Jones <rjones@redhat.com> - 0.9.11-2.1096.svn20160531
- Rebuild for OCaml 4.04.0.
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

See Also

Package Description
apron-devel-0.9.11-6.1097.svn20160801.fc26.i686.rpm Development files for apron
apron-devel-0.9.11-6.1097.svn20160801.fc26.x86_64.rpm Development files for apron
aprsd-2.2.5-15.6.fc26.14.x86_64.rpm Internet gateway and client access to amateur radio APRS packet data
aprsdigi-3.5.1-8.fc26.x86_64.rpm AX.25 Automatic Position Reporting System
apt-0.5.15lorg3.95-25.git522.fc26.i686.rpm Debian's Advanced Packaging Tool with RPM support
apt-0.5.15lorg3.95-25.git522.fc26.x86_64.rpm Debian's Advanced Packaging Tool with RPM support
apt-cacher-ng-0.9.0-3.fc26.x86_64.rpm Caching proxy for package files from Debian
apt-devel-0.5.15lorg3.95-25.git522.fc26.i686.rpm Development files and documentation for APT's libapt-pkg
apt-devel-0.5.15lorg3.95-25.git522.fc26.x86_64.rpm Development files and documentation for APT's libapt-pkg
apt-plugins-list-0.5.15lorg3.95-25.git522.fc26.x86_64.rpm Additional commands to list extra packages and leaves
apt-plugins-log-0.5.15lorg3.95-25.git522.fc26.x86_64.rpm Log the changes being introduced by the transaction
apvlv-0.1.4-11.fc25.x86_64.rpm PDF viewer which behaves like Vim
apx-0.1-14.fc26.noarch.rpm QIX clone, cut into and claim the square area
apx-fonts-0.1-14.fc26.noarch.rpm Fonts for the game apx
aqbanking-5.6.12-2.fc26.i686.rpm A library for online banking functions and financial data import/export
Advertisement
Advertisement