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

Ссылки для libapron-ocaml-dev

Ресурсы Debian:

Исходный код apron:

Сопровождающий:

Debian OCaml Maintainers (Страница КК, Почтовый архив)

Внешние ресурсы:

Сайт [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.

Теги: Разработка программного обеспечения: Разработка на OCaml, Библиотеки, Тестирование и обеспечение качества, Реализовано на: implemented-in::c, implemented-in::ocaml, Роль: Библиотека разработчика, Программа, Цель: 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 Кб	[список файлов]