Пакет: libapron-ocaml-dev (0.9.10-9.1 и други)

Връзки за libapron-ocaml-dev

Ресурси за Debian:

Изтегляне на пакет-източник apron.

Отговорник:

Debian OCaml Maintainers (Страница за QA, Пощенски архив)

Външни препратки:

Начална страница [apron.cri.ensmp.fr]

Подобни пакети:

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.

Етикети: Software Development: OCaml Development, Библиотеки, Testing and QA, Implemented in: implemented-in::c, implemented-in::ocaml, Role: Development Library, Program, Purpose: use::analysing, use::checking

Други пакети, свързани с libapron-ocaml-dev

зависимости

препоръчани

предложени

enhances

dep: libapron-dev

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

виртуален пакет, предлаган от libapron-ocaml
dep: libapron-ocaml-8p542 [armel, mips64el, mipsel]

виртуален пакет, предлаган от libapron-ocaml
dep: libapron-ocaml-do077 [armhf, i386]

виртуален пакет, предлаган от libapron-ocaml
dep: libapron-ocaml-f72a2 [amd64, arm64, ppc64el]

виртуален пакет, предлаган от libapron-ocaml
dep: ocaml-nox-4.11.1

виртуален пакет, предлаган от ocaml-nox

Изтегляне на libapron-ocaml-dev

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.9.10-9.1+b2	1 304,7 кБ	14 581,0 кБ	[списък на файловете]
arm64	0.9.10-9.1+b2	1 236,7 кБ	14 476,0 кБ	[списък на файловете]
armel	0.9.10-9.1+b2	1 149,7 кБ	11 694,0 кБ	[списък на файловете]
armhf	0.9.10-9.1+b2	1 263,2 кБ	10 542,0 кБ	[списък на файловете]
i386	0.9.10-9.1+b2	1 515,5 кБ	13 516,0 кБ	[списък на файловете]
mips64el	0.9.10-9.1+b2	1 329,6 кБ	20 889,0 кБ	[списък на файловете]
mipsel	0.9.10-9.1+b2	1 429,0 кБ	15 977,0 кБ	[списък на файловете]
ppc64el	0.9.10-9.1+b2	1 397,8 кБ	18 345,0 кБ	[списък на файловете]
s390x	0.9.10-9.1+b2	1 227,8 кБ	15 676,0 кБ	[списък на файловете]