Package: libapron-ocaml-dev (0.9.10-9.1 and others)

[ Source: apron  ]

abstract interpretation library (OCaml interface)

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.

Tags: Software Development: OCaml Development, Libraries, Testing and QA, Implemented in: implemented-in::c, implemented-in::ocaml, Role: Development Library, Program, Purpose: use::analysing, use::checking

Other Packages Related to libapron-ocaml-dev

• dep: libapron-dev

  abstract interpretation library

• dep: libapron-ocaml-0ooh1 [s390x]

  virtual package provided by libapron-ocaml

• dep: libapron-ocaml-8p542 [armel, mips64el, mipsel]

  virtual package provided by libapron-ocaml

• dep: libapron-ocaml-do077 [armhf, i386]

  virtual package provided by libapron-ocaml

• dep: libapron-ocaml-f72a2 [amd64, arm64, ppc64el]

  virtual package provided by libapron-ocaml

• dep: ocaml-nox-4.11.1

  virtual package provided by ocaml-nox

Download libapron-ocaml-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.9.10-9.1+b2	1,304.7 kB	14,581.0 kB	[list of files]
arm64	0.9.10-9.1+b2	1,236.7 kB	14,476.0 kB	[list of files]
armel	0.9.10-9.1+b2	1,149.7 kB	11,694.0 kB	[list of files]
armhf	0.9.10-9.1+b2	1,263.2 kB	10,542.0 kB	[list of files]
i386	0.9.10-9.1+b2	1,515.5 kB	13,516.0 kB	[list of files]
mips64el	0.9.10-9.1+b2	1,329.6 kB	20,889.0 kB	[list of files]
mipsel	0.9.10-9.1+b2	1,429.0 kB	15,977.0 kB	[list of files]
ppc64el	0.9.10-9.1+b2	1,397.8 kB	18,345.0 kB	[list of files]
s390x	0.9.10-9.1+b2	1,227.8 kB	15,676.0 kB	[list of files]