libapron-ocaml-dev_0.9.10-6+b1_amd64.deb


Advertisement

Description

libapron-ocaml-dev - abstract interpretation library (OCaml interface)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libapron-ocaml-dev
Package version 0.9.10
Package release 6+b1
Package architecture amd64
Package type deb
Installed size 14.01 KB
Download size 1.22 MB
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 contains the files necessary to use the APRON library in OCaml.

Alternatives

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

Requires

Name Value
libapron-dev -
libapron-ocaml-tz7t2 -
ocaml-nox-4.01.0 -

Provides

Name Value
libapron-ocaml-dev-tz7t2 -

Download

Type URL
Binary Package libapron-ocaml-dev_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-dev deb package:
    # sudo apt-get install libapron-ocaml-dev

Files

Path
/usr/lib/ocaml/apron/abstract0.idl
/usr/lib/ocaml/apron/abstract1.idl
/usr/lib/ocaml/apron/apron.a
/usr/lib/ocaml/apron/apron.cma
/usr/lib/ocaml/apron/apron.cmi
/usr/lib/ocaml/apron/apron.cmx
/usr/lib/ocaml/apron/apron.cmxa
/usr/lib/ocaml/apron/box.a
/usr/lib/ocaml/apron/box.cma
/usr/lib/ocaml/apron/box.cmi
/usr/lib/ocaml/apron/box.cmx
/usr/lib/ocaml/apron/box.cmxa
/usr/lib/ocaml/apron/box.idl
/usr/lib/ocaml/apron/box.ml
/usr/lib/ocaml/apron/box.mli
/usr/lib/ocaml/apron/boxD.a
/usr/lib/ocaml/apron/boxD.cma
/usr/lib/ocaml/apron/boxD.cmxa
/usr/lib/ocaml/apron/boxMPFR.a
/usr/lib/ocaml/apron/boxMPFR.cma
/usr/lib/ocaml/apron/boxMPFR.cmxa
/usr/lib/ocaml/apron/boxMPQ.a
/usr/lib/ocaml/apron/boxMPQ.cma
/usr/lib/ocaml/apron/boxMPQ.cmxa
/usr/lib/ocaml/apron/coeff.idl
/usr/lib/ocaml/apron/dim.idl
/usr/lib/ocaml/apron/environment.idl
/usr/lib/ocaml/apron/generator0.idl
/usr/lib/ocaml/apron/generator1.idl
/usr/lib/ocaml/apron/gmp.a
/usr/lib/ocaml/apron/gmp.cma
/usr/lib/ocaml/apron/gmp.cmxa
/usr/lib/ocaml/apron/gmp_random.cmi
/usr/lib/ocaml/apron/gmp_random.cmx
/usr/lib/ocaml/apron/gmp_random.idl
/usr/lib/ocaml/apron/gmp_random.mli
/usr/lib/ocaml/apron/interval.idl
/usr/lib/ocaml/apron/libap_pkgrid.a
/usr/lib/ocaml/apron/libap_pkgrid_debug.a
/usr/lib/ocaml/apron/libap_ppl.a
/usr/lib/ocaml/apron/libap_ppl_caml.a
/usr/lib/ocaml/apron/libap_ppl_caml_debug.a
/usr/lib/ocaml/apron/libap_ppl_debug.a
/usr/lib/ocaml/apron/libapron.a
/usr/lib/ocaml/apron/libapron_caml.a
/usr/lib/ocaml/apron/libapron_caml_debug.a
/usr/lib/ocaml/apron/libapron_debug.a
/usr/lib/ocaml/apron/libboxD.a
/usr/lib/ocaml/apron/libboxD_caml.a
/usr/lib/ocaml/apron/libboxD_caml_debug.a
/usr/lib/ocaml/apron/libboxD_debug.a
/usr/lib/ocaml/apron/libboxMPFR.a
/usr/lib/ocaml/apron/libboxMPFR_caml.a
/usr/lib/ocaml/apron/libboxMPFR_caml_debug.a
/usr/lib/ocaml/apron/libboxMPFR_debug.a
/usr/lib/ocaml/apron/libboxMPQ.a
/usr/lib/ocaml/apron/libboxMPQ_caml.a
/usr/lib/ocaml/apron/libboxMPQ_caml_debug.a
/usr/lib/ocaml/apron/libboxMPQ_debug.a
/usr/lib/ocaml/apron/libgmp_caml.a
/usr/lib/ocaml/apron/libitv.a
/usr/lib/ocaml/apron/libitvD.a
/usr/lib/ocaml/apron/libitvD_debug.a
/usr/lib/ocaml/apron/libitvIl.a
/usr/lib/ocaml/apron/libitvIl_debug.a
/usr/lib/ocaml/apron/libitvIll.a
/usr/lib/ocaml/apron/libitvIll_debug.a
/usr/lib/ocaml/apron/libitvMPFR.a
/usr/lib/ocaml/apron/libitvMPFR_debug.a
/usr/lib/ocaml/apron/libitvMPQ.a
/usr/lib/ocaml/apron/libitvMPQ_debug.a
/usr/lib/ocaml/apron/libitvMPZ.a
/usr/lib/ocaml/apron/libitvMPZ_debug.a
/usr/lib/ocaml/apron/libitvRl.a
/usr/lib/ocaml/apron/libitvRl_debug.a
/usr/lib/ocaml/apron/libitvRll.a
/usr/lib/ocaml/apron/libitvRll_debug.a
/usr/lib/ocaml/apron/libitv_debug.a
/usr/lib/ocaml/apron/liboctD.a
/usr/lib/ocaml/apron/liboctD_caml.a
/usr/lib/ocaml/apron/liboctD_caml_debug.a
/usr/lib/ocaml/apron/liboctD_debug.a
/usr/lib/ocaml/apron/liboctMPQ.a
/usr/lib/ocaml/apron/liboctMPQ_caml.a
/usr/lib/ocaml/apron/liboctMPQ_caml_debug.a
/usr/lib/ocaml/apron/liboctMPQ_debug.a
/usr/lib/ocaml/apron/libpolkaGrid_caml.a
/usr/lib/ocaml/apron/libpolkaGrid_caml_debug.a
/usr/lib/ocaml/apron/libpolkaMPQ.a
/usr/lib/ocaml/apron/libpolkaMPQ_caml.a
/usr/lib/ocaml/apron/libpolkaMPQ_caml_debug.a
/usr/lib/ocaml/apron/libpolkaMPQ_debug.a
/usr/lib/ocaml/apron/libpolkaRll.a
/usr/lib/ocaml/apron/libpolkaRll_caml.a
/usr/lib/ocaml/apron/libpolkaRll_caml_debug.a
/usr/lib/ocaml/apron/libpolkaRll_debug.a
/usr/lib/ocaml/apron/lincons0.idl
/usr/lib/ocaml/apron/lincons1.idl
/usr/lib/ocaml/apron/linexpr0.idl
/usr/lib/ocaml/apron/linexpr1.idl
/usr/lib/ocaml/apron/manager.idl
/usr/lib/ocaml/apron/mpf.cmi
/usr/lib/ocaml/apron/mpf.cmx
/usr/lib/ocaml/apron/mpf.idl
/usr/lib/ocaml/apron/mpf.mli
/usr/lib/ocaml/apron/mpfr.cmi
/usr/lib/ocaml/apron/mpfr.cmx
/usr/lib/ocaml/apron/mpfr.idl
/usr/lib/ocaml/apron/mpfr.mli
/usr/lib/ocaml/apron/mpfrf.cmi
/usr/lib/ocaml/apron/mpfrf.cmx
/usr/lib/ocaml/apron/mpfrf.mli
/usr/lib/ocaml/apron/mpq.cmi
/usr/lib/ocaml/apron/mpq.cmx
/usr/lib/ocaml/apron/mpq.idl
/usr/lib/ocaml/apron/mpq.mli
/usr/lib/ocaml/apron/mpqf.cmi
/usr/lib/ocaml/apron/mpqf.cmx
/usr/lib/ocaml/apron/mpqf.mli
/usr/lib/ocaml/apron/mpz.cmi
/usr/lib/ocaml/apron/mpz.cmx
/usr/lib/ocaml/apron/mpz.idl
/usr/lib/ocaml/apron/mpz.mli
/usr/lib/ocaml/apron/mpzf.cmi
/usr/lib/ocaml/apron/mpzf.cmx
/usr/lib/ocaml/apron/mpzf.mli
/usr/lib/ocaml/apron/oct.a
/usr/lib/ocaml/apron/oct.cma
/usr/lib/ocaml/apron/oct.cmi
/usr/lib/ocaml/apron/oct.cmx
/usr/lib/ocaml/apron/oct.cmxa
/usr/lib/ocaml/apron/oct.idl
/usr/lib/ocaml/apron/oct.mli
/usr/lib/ocaml/apron/octD.a
/usr/lib/ocaml/apron/octD.cma
/usr/lib/ocaml/apron/octD.cmxa
/usr/lib/ocaml/apron/octMPQ.a
/usr/lib/ocaml/apron/octMPQ.cma
/usr/lib/ocaml/apron/octMPQ.cmxa
/usr/lib/ocaml/apron/polka.a
/usr/lib/ocaml/apron/polka.cma
/usr/lib/ocaml/apron/polka.cmi
/usr/lib/ocaml/apron/polka.cmx
/usr/lib/ocaml/apron/polka.cmxa
/usr/lib/ocaml/apron/polka.idl
/usr/lib/ocaml/apron/polka.ml
/usr/lib/ocaml/apron/polka.mli
/usr/lib/ocaml/apron/polkaGrid.a
/usr/lib/ocaml/apron/polkaGrid.cma
/usr/lib/ocaml/apron/polkaGrid.cmi
/usr/lib/ocaml/apron/polkaGrid.cmx
/usr/lib/ocaml/apron/polkaGrid.cmxa
/usr/lib/ocaml/apron/polkaGrid.ml
/usr/lib/ocaml/apron/polkaGrid.mli
/usr/lib/ocaml/apron/polkaMPQ.a
/usr/lib/ocaml/apron/polkaMPQ.cma
/usr/lib/ocaml/apron/polkaMPQ.cmxa
/usr/lib/ocaml/apron/polkaRll.a
/usr/lib/ocaml/apron/polkaRll.cma
/usr/lib/ocaml/apron/polkaRll.cmxa
/usr/lib/ocaml/apron/ppl.a
/usr/lib/ocaml/apron/ppl.cma
/usr/lib/ocaml/apron/ppl.cmi
/usr/lib/ocaml/apron/ppl.cmxa
/usr/lib/ocaml/apron/ppl.idl
/usr/lib/ocaml/apron/scalar.idl
/usr/lib/ocaml/apron/tcons0.idl
/usr/lib/ocaml/apron/tcons1.idl
/usr/lib/ocaml/apron/texpr0.idl
/usr/lib/ocaml/apron/texpr1.idl
/usr/lib/ocaml/apron/var.idl
/usr/share/doc/libapron-ocaml-dev/README.source
/usr/share/doc/libapron-ocaml-dev/changelog.Debian.amd64.gz
/usr/share/doc/libapron-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libapron-ocaml-dev/changelog.gz
/usr/share/doc/libapron-ocaml-dev/copyright
/usr/share/doc/libapron-ocaml-dev/examples/Makefile
/usr/share/doc/libapron-ocaml-dev/examples/README
/usr/share/doc/libapron-ocaml-dev/examples/mlexample1.ml
/usr/share/doc/libapron-ocaml-dev/examples/mlexample2.ml
/usr/share/doc/libapron-ocaml-dev/examples/mlexample3.ml
/usr/share/doc/libapron-ocaml-dev/html/Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/Box.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/Box.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/Box.html
/usr/share/doc/libapron-ocaml-dev/html/Coeff.html
/usr/share/doc/libapron-ocaml-dev/html/Dim.html
/usr/share/doc/libapron-ocaml-dev/html/Environment.html
/usr/share/doc/libapron-ocaml-dev/html/Generator0.html
/usr/share/doc/libapron-ocaml-dev/html/Generator1.html
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpf.html
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpfr.html
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpz.html
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.html
/usr/share/doc/libapron-ocaml-dev/html/Interval.html
/usr/share/doc/libapron-ocaml-dev/html/Introduction.html
/usr/share/doc/libapron-ocaml-dev/html/Lincons0.html
/usr/share/doc/libapron-ocaml-dev/html/Lincons1.html
/usr/share/doc/libapron-ocaml-dev/html/Linexpr0.html
/usr/share/doc/libapron-ocaml-dev/html/Linexpr1.html
/usr/share/doc/libapron-ocaml-dev/html/Manager.html
/usr/share/doc/libapron-ocaml-dev/html/Mpf.html
/usr/share/doc/libapron-ocaml-dev/html/Mpfr.html
/usr/share/doc/libapron-ocaml-dev/html/Mpfrf.html
/usr/share/doc/libapron-ocaml-dev/html/Mpq.html
/usr/share/doc/libapron-ocaml-dev/html/Mpqf.html
/usr/share/doc/libapron-ocaml-dev/html/Mpz.html
/usr/share/doc/libapron-ocaml-dev/html/Mpzf.html
/usr/share/doc/libapron-ocaml-dev/html/Oct.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/Oct.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/Oct.html
/usr/share/doc/libapron-ocaml-dev/html/Parser.html
/usr/share/doc/libapron-ocaml-dev/html/Polka.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/Polka.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/Polka.html
/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.html
/usr/share/doc/libapron-ocaml-dev/html/Ppl.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/Ppl.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/Ppl.html
/usr/share/doc/libapron-ocaml-dev/html/Scalar.html
/usr/share/doc/libapron-ocaml-dev/html/Tcons0.html
/usr/share/doc/libapron-ocaml-dev/html/Tcons1.html
/usr/share/doc/libapron-ocaml-dev/html/Texpr0.html
/usr/share/doc/libapron-ocaml-dev/html/Texpr1.html
/usr/share/doc/libapron-ocaml-dev/html/Var.html
/usr/share/doc/libapron-ocaml-dev/html/index.html
/usr/share/doc/libapron-ocaml-dev/html/index_attributes.html
/usr/share/doc/libapron-ocaml-dev/html/index_class_types.html
/usr/share/doc/libapron-ocaml-dev/html/index_classes.html
/usr/share/doc/libapron-ocaml-dev/html/index_exceptions.html
/usr/share/doc/libapron-ocaml-dev/html/index_methods.html
/usr/share/doc/libapron-ocaml-dev/html/index_module_types.html
/usr/share/doc/libapron-ocaml-dev/html/index_modules.html
/usr/share/doc/libapron-ocaml-dev/html/index_types.html
/usr/share/doc/libapron-ocaml-dev/html/index_values.html
/usr/share/doc/libapron-ocaml-dev/html/style.css
/usr/share/doc/libapron-ocaml-dev/html/type_Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Box.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Box.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Box.html
/usr/share/doc/libapron-ocaml-dev/html/type_Coeff.html
/usr/share/doc/libapron-ocaml-dev/html/type_Dim.html
/usr/share/doc/libapron-ocaml-dev/html/type_Environment.html
/usr/share/doc/libapron-ocaml-dev/html/type_Generator0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Generator1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpf.html
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpfr.html
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpz.html
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.html
/usr/share/doc/libapron-ocaml-dev/html/type_Interval.html
/usr/share/doc/libapron-ocaml-dev/html/type_Introduction.html
/usr/share/doc/libapron-ocaml-dev/html/type_Lincons0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Lincons1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Linexpr0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Linexpr1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Manager.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpf.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpfr.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpfrf.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpq.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpqf.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpz.html
/usr/share/doc/libapron-ocaml-dev/html/type_Mpzf.html
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.html
/usr/share/doc/libapron-ocaml-dev/html/type_Parser.html
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.html
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.html
/usr/share/doc/libapron-ocaml-dev/html/type_Ppl.Abstract0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Ppl.Abstract1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Ppl.html
/usr/share/doc/libapron-ocaml-dev/html/type_Scalar.html
/usr/share/doc/libapron-ocaml-dev/html/type_Tcons0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Tcons1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Texpr0.html
/usr/share/doc/libapron-ocaml-dev/html/type_Texpr1.html
/usr/share/doc/libapron-ocaml-dev/html/type_Var.html
/var/lib/ocaml/lintian/libapron-ocaml-dev.info
/var/lib/ocaml/md5sums/libapron-ocaml-dev.md5sums

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-ocaml_0.9.10-6+b1_amd64.deb runtime libraries for APRON (OCaml interface)
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
Advertisement
Advertisement