libapron-ocaml_0.9.10-6+b1_amd64.deb


Advertisement

Description

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

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

Provides

  • libapron-ocaml-tz7t2

    Download

    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

    • /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.

    Advertisement
    Advertisement