apron-0.9.11-1.1096.svn20160531.fc25.i686.rpm


Advertisement

Description

apron - Numerical abstract domain library

Property Value
Distribution Fedora 25
Repository Fedora i386
Package name apron
Package version 0.9.11
Package release 1.1096.svn20160531.fc25
Package architecture i686
Package type rpm
Installed size 6.07 MB
Download size 1.96 MB
Official Mirror dl.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.fc25.i686.rpm 0.9.11 i686 Fedora Updates
apron-0.9.11-6.1097.svn20160801.fc25.i686.rpm 0.9.11 i686 Fedora Updates
apron-0.9.11-6.1097.svn20160801.fc25.x86_64.rpm 0.9.11 x86_64 Fedora Updates
apron-0.9.11-1.1096.svn20160531.fc25.i686.rpm 0.9.11 i686 Fedora
apron-0.9.11-1.1096.svn20160531.fc25.x86_64.rpm 0.9.11 x86_64 Fedora
apron - - -

Requires

Name Value
/sbin/ldconfig -
ld-linux.so.2 -
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.13 -
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-1.1096.svn20160531.fc25
apron(x86-32) = 0.9.11-1.1096.svn20160531.fc25
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-1.1096.svn20160531.fc25.i686.rpm
Source Package apron-0.9.11-1.1096.svn20160531.fc25.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

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
2015-07-28 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-32
- Bump release and rebuild.
2015-07-28 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-31
- OCaml 4.02.3 rebuild.
2015-07-21 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-30
- Fix bytecode compilation.
2015-06-24 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-29
- ocaml-4.02.2 final rebuild.
2015-06-17 - Richard W.M. Jones <rjones@redhat.com> - 0.9.10-28
- ocaml-4.02.2 rebuild.

See Also

Package Description
apron-devel-0.9.11-1.1096.svn20160531.fc25.i686.rpm Development files for apron
aprsd-2.2.5-15.6.fc24.13.i686.rpm Internet gateway and client access to amateur radio APRS packet data
aprsdigi-3.5.1-7.fc24.i686.rpm AX.25 Automatic Position Reporting System
apt-0.5.15lorg3.95-23.git522.fc24.i686.rpm Debian's Advanced Packaging Tool with RPM support
apt-cacher-ng-0.9.0-1.fc24.i686.rpm Caching proxy for package files from Debian
apt-devel-0.5.15lorg3.95-23.git522.fc24.i686.rpm Development files and documentation for APT's libapt-pkg
apt-plugins-list-0.5.15lorg3.95-23.git522.fc24.i686.rpm Additional commands to list extra packages and leaves
apt-plugins-log-0.5.15lorg3.95-23.git522.fc24.i686.rpm Log the changes being introduced by the transaction
apvlv-0.1.4-11.fc25.i686.rpm PDF viewer which behaves like Vim
apx-0.1-12.fc25.noarch.rpm QIX clone, cut into and claim the square area
apx-fonts-0.1-12.fc25.noarch.rpm Fonts for the game apx
aqbanking-5.6.10-1.fc25.i686.rpm A library for online banking functions and financial data import/export
aqbanking-devel-5.6.10-1.fc25.i686.rpm Development headers for Aqbanking
aqemu-0.9.2-1.fc25.i686.rpm A QT graphical interface to QEMU and KVM
aqsis-1.8.2-23.fc25.i686.rpm Open source 3D rendering solution adhering to the RenderMan standard
Advertisement
Advertisement