[ Source: apron ]
Package: libapron-ocaml-dev (0.9.10-5.2 and others)
Links for libapron-ocaml-dev
Debian Resources:
Download Source Package apron:
Maintainers:
External Resources:
- Homepage [apron.cri.ensmp.fr]
Similar packages:
an 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.
Other Packages Related to libapron-ocaml-dev
|
|
|
-
- dep: libapron-dev
- an abstract interpretation library
-
- dep: libapron-ocaml-g9z67 [armel, i386, kfreebsd-i386, powerpc, sparc]
- virtual package provided by libapron-ocaml
-
- dep: libapron-ocaml-mmdo7 [armhf, ia64, mips, mipsel, s390, s390x]
- virtual package provided by libapron-ocaml
-
- dep: libapron-ocaml-r4yh3 [amd64, kfreebsd-amd64]
- virtual package provided by libapron-ocaml
-
- dep: ocaml-nox-3.12.1
- virtual package provided by ocaml-nox
Download libapron-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.9.10-5.2+b3 | 3,333.0 kB | 13,850.0 kB | [list of files] |
| armel | 0.9.10-5.2+b3 | 3,123.0 kB | 12,026.0 kB | [list of files] |
| armhf | 0.9.10-5.2 | 2,767.1 kB | 9,685.0 kB | [list of files] |
| i386 | 0.9.10-5.2+b3 | 3,441.8 kB | 12,296.0 kB | [list of files] |
| ia64 | 0.9.10-5.2+b2 | 4,722.6 kB | 23,619.0 kB | [list of files] |
| kfreebsd-amd64 | 0.9.10-5.2+b2 | 3,255.2 kB | 13,797.0 kB | [list of files] |
| kfreebsd-i386 | 0.9.10-5.2+b2 | 3,360.3 kB | 12,242.0 kB | [list of files] |
| mips | 0.9.10-5.2+b2 | 4,082.1 kB | 15,523.0 kB | [list of files] |
| mipsel | 0.9.10-5.2+b2 | 4,010.0 kB | 15,521.0 kB | [list of files] |
| powerpc | 0.9.10-5.2+b2 | 3,286.4 kB | 12,771.0 kB | [list of files] |
| s390 | 0.9.10-5.2+b2 | 3,535.3 kB | 13,018.0 kB | [list of files] |
| s390x | 0.9.10-5.2 | 3,376.1 kB | 14,903.0 kB | [list of files] |
| sparc | 0.9.10-5.2+b2 | 3,300.0 kB | 12,941.0 kB | [list of files] |