apron-0.9.11-6.1097.svn20160801.fc26.x86_64.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 x86_64
Package type rpm
Installed size 5.61 MB
Download size 1.79 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.i686.rpm 0.9.11 i686 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.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libgmpxx.so.4()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libmpfr.so.4()(64bit) -
libppl.so.14()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.1)(64bit) -
libstdc++.so.6(CXXABI_1.3.8)(64bit) -
libstdc++.so.6(CXXABI_1.3.9)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
apron = 0.9.11-6.1097.svn20160801.fc26
apron(x86-64) = 0.9.11-6.1097.svn20160801.fc26
libap_pkgrid.so.0()(64bit) -
libap_pkgrid_debug.so.0()(64bit) -
libap_ppl.so.0()(64bit) -
libap_ppl_debug.so.0()(64bit) -
libapron.so.0()(64bit) -
libapron_debug.so.0()(64bit) -
libapronxx.so.0()(64bit) -
libapronxx_debug.so.0()(64bit) -
libboxD.so.0()(64bit) -
libboxD_debug.so.0()(64bit) -
libboxMPFR.so.0()(64bit) -
libboxMPFR_debug.so.0()(64bit) -
libboxMPQ.so.0()(64bit) -
libboxMPQ_debug.so.0()(64bit) -
liboctD.so.0()(64bit) -
liboctD_debug.so.0()(64bit) -
liboctMPQ.so.0()(64bit) -
liboctMPQ_debug.so.0()(64bit) -
libpolkaMPQ.so.0()(64bit) -
libpolkaMPQ_debug.so.0()(64bit) -
libpolkaRll.so.0()(64bit) -
libpolkaRll_debug.so.0()(64bit) -
libt1pD.so.0()(64bit) -
libt1pD_debug.so.0()(64bit) -
libt1pMPFR.so.0()(64bit) -
libt1pMPFR_debug.so.0()(64bit) -
libt1pMPQ.so.0()(64bit) -
libt1pMPQ_debug.so.0()(64bit) -

Download

Type URL
Binary Package apron-0.9.11-6.1097.svn20160801.fc26.x86_64.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/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.11
/usr/lib64/libap_pkgrid_debug.so.0
/usr/lib64/libap_pkgrid_debug.so.0.9.11
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.11
/usr/lib64/libap_ppl_debug.so.0
/usr/lib64/libap_ppl_debug.so.0.9.11
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.11
/usr/lib64/libapron_debug.so.0
/usr/lib64/libapron_debug.so.0.9.11
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.11
/usr/lib64/libapronxx_debug.so.0
/usr/lib64/libapronxx_debug.so.0.9.11
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.11
/usr/lib64/libboxD_debug.so.0
/usr/lib64/libboxD_debug.so.0.9.11
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.11
/usr/lib64/libboxMPFR_debug.so.0
/usr/lib64/libboxMPFR_debug.so.0.9.11
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.11
/usr/lib64/libboxMPQ_debug.so.0
/usr/lib64/libboxMPQ_debug.so.0.9.11
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.11
/usr/lib64/liboctD_debug.so.0
/usr/lib64/liboctD_debug.so.0.9.11
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.11
/usr/lib64/liboctMPQ_debug.so.0
/usr/lib64/liboctMPQ_debug.so.0.9.11
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.11
/usr/lib64/libpolkaMPQ_debug.so.0
/usr/lib64/libpolkaMPQ_debug.so.0.9.11
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.11
/usr/lib64/libpolkaRll_debug.so.0
/usr/lib64/libpolkaRll_debug.so.0.9.11
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.11
/usr/lib64/libt1pD_debug.so.0
/usr/lib64/libt1pD_debug.so.0.9.11
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.11
/usr/lib64/libt1pMPFR_debug.so.0
/usr/lib64/libt1pMPFR_debug.so.0.9.11
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.11
/usr/lib64/libt1pMPQ_debug.so.0
/usr/lib64/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