Paketti: libapron-ocaml-dev (0.9.10-9.1 ja muut)

Links for libapron-ocaml-dev

Debian-palvelut:

Imuroi lähdekoodipaketti apron:

Ylläpitäjä:

Debian OCaml Maintainers (Laadunvalvontasivu, Mail Archive)

External Resources:

Kotisivu [apron.cri.ensmp.fr]

Samankaltaisia paketteja:

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.

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

Muut pakettiin libapron-ocaml-dev liittyvät paketit

depends

recommends

suggests

enhances

dep: libapron-dev

abstract interpretation library
dep: libapron-ocaml-0ooh1 [s390x]

näennäispaketti, jonka toteuttaa libapron-ocaml
dep: libapron-ocaml-8p542 [armel, mips64el, mipsel]

näennäispaketti, jonka toteuttaa libapron-ocaml
dep: libapron-ocaml-do077 [armhf, i386]

näennäispaketti, jonka toteuttaa libapron-ocaml
dep: libapron-ocaml-f72a2 [amd64, arm64, ppc64el]

näennäispaketti, jonka toteuttaa libapron-ocaml
dep: ocaml-nox-4.11.1

näennäispaketti, jonka toteuttaa ocaml-nox

Imuroi libapron-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	0.9.10-9.1+b2	1,304.7 kt	14,581.0 kt	[tiedostoluettelo]
arm64	0.9.10-9.1+b2	1,236.7 kt	14,476.0 kt	[tiedostoluettelo]
armel	0.9.10-9.1+b2	1,149.7 kt	11,694.0 kt	[tiedostoluettelo]
armhf	0.9.10-9.1+b2	1,263.2 kt	10,542.0 kt	[tiedostoluettelo]
i386	0.9.10-9.1+b2	1,515.5 kt	13,516.0 kt	[tiedostoluettelo]
mips64el	0.9.10-9.1+b2	1,329.6 kt	20,889.0 kt	[tiedostoluettelo]
mipsel	0.9.10-9.1+b2	1,429.0 kt	15,977.0 kt	[tiedostoluettelo]
ppc64el	0.9.10-9.1+b2	1,397.8 kt	18,345.0 kt	[tiedostoluettelo]
s390x	0.9.10-9.1+b2	1,227.8 kt	15,676.0 kt	[tiedostoluettelo]