libapron-ocaml_0.9.10-6+b1_amd64.deb


Advertisement

Description

libapron-ocaml - runtime libraries for APRON (OCaml interface)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libapron-ocaml
Package version 0.9.10
Package release 6+b1
Package architecture amd64
Package type deb
Installed size 331 B
Download size 58.38 KB
Official Mirror ftp.br.debian.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. It 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.
This package include only the dynamic libraries needed for running dynamic
bytecode executables.

Alternatives

Package Version Architecture Repository
libapron-ocaml_0.9.10-6+b1_i386.deb 0.9.10 i386 Debian Main
libapron-ocaml - - -

Requires

Name Value
libapron -
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libgmp10 -
libmpfr4 >= 3.1.2
libstdc++6 >= 4.1.1
ocaml-base-nox-4.01.0 -

Provides

Name Value
libapron-ocaml-tz7t2 -

Download

Type URL
Binary Package libapron-ocaml_0.9.10-6+b1_amd64.deb
Source Package apron

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libapron-ocaml deb package:
    # sudo apt-get install libapron-ocaml

Files

Path
/usr/lib/ocaml/stublibs/dllap_ppl_caml.so
/usr/lib/ocaml/stublibs/dllapron_caml.so
/usr/lib/ocaml/stublibs/dllboxD_caml.so
/usr/lib/ocaml/stublibs/dllboxMPFR_caml.so
/usr/lib/ocaml/stublibs/dllboxMPQ_caml.so
/usr/lib/ocaml/stublibs/dllgmp_caml.so
/usr/lib/ocaml/stublibs/dlloctD_caml.so
/usr/lib/ocaml/stublibs/dlloctMPQ_caml.so
/usr/lib/ocaml/stublibs/dllpolkaGrid_caml.so
/usr/lib/ocaml/stublibs/dllpolkaMPQ_caml.so
/usr/lib/ocaml/stublibs/dllpolkaRll_caml.so
/usr/lib/ocaml/stublibs/libap_ppl_caml.so
/usr/lib/ocaml/stublibs/libapron_caml.so
/usr/lib/ocaml/stublibs/libboxD_caml.so
/usr/lib/ocaml/stublibs/libboxMPFR_caml.so
/usr/lib/ocaml/stublibs/libboxMPQ_caml.so
/usr/lib/ocaml/stublibs/libgmp_caml.so
/usr/lib/ocaml/stublibs/liboctD_caml.so
/usr/lib/ocaml/stublibs/liboctMPQ_caml.so
/usr/lib/ocaml/stublibs/libpolkaGrid_caml.so
/usr/lib/ocaml/stublibs/libpolkaMPQ_caml.so
/usr/lib/ocaml/stublibs/libpolkaRll_caml.so
/usr/share/doc/libapron-ocaml/README.source
/usr/share/doc/libapron-ocaml/changelog.Debian.amd64.gz
/usr/share/doc/libapron-ocaml/changelog.Debian.gz
/usr/share/doc/libapron-ocaml/changelog.gz
/usr/share/doc/libapron-ocaml/copyright

Changelog

2013-12-25 - Stéphane Glondu <glondu@debian.org>
apron (0.9.10-6) unstable; urgency=low
[ Stéphane Glondu ]
* Team upload
* Acknowledge non-maintainer uploads
* debian/control:
- bump debhelper compat level to 9
- update Vcs-*
- remove leading articles from short descriptions
- remove Samuel and myself from Uploaders
[ Matthias Klose ]
* Fix build failure with ppl-1.0 (Closes: #707347)
2011-04-10 - Steve Langasek <vorlon@debian.org>
apron (0.9.10-5.2) unstable; urgency=low
* Follow-on NMU to fix the binary dependency on libppl0.10-dev.
Really Closes: #620716.
2011-04-10 - Steve Langasek <vorlon@debian.org>
apron (0.9.10-5.1) unstable; urgency=low
* Non-maintainer upload.
* Build-depend on the libppl-dev virtual package instead of libppl0.10-dev,
since this latter package is no longer available in unstable and apron
now fails to build.  Closes: #620716.
2010-07-19 - Stéphane Glondu <glondu@debian.org>
apron (0.9.10-5) unstable; urgency=low
* Add mpfr_random.diff and rounding_modes.diff (Closes: #589359)
* debian/control:
- add myself to Uploaders
- bump Standards-Version to 3.9.0
* Install upstream changelog
* Switch source package format to 3.0 (quilt)
2010-01-17 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-4) unstable; urgency=low
[ Mehdi Dogguy ]
* Remove non-needed Provides for libapron-dev
* Version the build dependency on quilt: >= 0.46-7
[ Samuel Mimram ]
* Added link patch in order to resolve symbols, closes: #558838.
* Fix nonopt patch to build gmp.cmxa.
* Added oct_static patch in order to install oct*.a.
2009-11-17 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-3) unstable; urgency=low
* Remove build dependency on ocaml-native-compilers, closes: #556636.
2009-10-29 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-2) unstable; urgency=low
* Enable PPL support.
* Add nonopt patch in order to be able to build on non-native archs.
2009-10-21 - Samuel Mimram <smimram@debian.org>
apron (0.9.10-1) unstable; urgency=low
* Initial release, closes: #552326.

See Also

Package Description
libapron_0.9.10-6+b1_amd64.deb runtime libraries for APRON
libaprutil1-dbd-mysql_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library - MySQL Driver
libaprutil1-dbd-odbc_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library - ODBC Driver
libaprutil1-dbd-pgsql_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library - PostgreSQL Driver
libaprutil1-dbd-sqlite3_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library - SQLite3 Driver
libaprutil1-dev_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library - Development Headers
libaprutil1-ldap_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library - LDAP Driver
libaprutil1_1.5.4-1_amd64.deb Apache Portable Runtime Utility Library
libapt-inst1.5_1.0.9.8.4_amd64.deb deb package format runtime library
libapt-pkg-dev_1.0.9.8.4_amd64.deb development files for APT's libapt-pkg and libapt-inst
libapt-pkg-doc_1.0.9.8.4_all.deb documentation for APT development
libapt-pkg-perl_0.1.29+b2_amd64.deb Perl interface to libapt-pkg
libapt-pkg4.12_1.0.9.8.4_amd64.deb package management runtime library
libaqbanking-data_5.4.3beta-2_all.deb configuration files for libaqbanking
libaqbanking-doc_5.4.3beta-2_all.deb library for online banking applications
Advertisement
Advertisement