все параметры
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Источник:  ]

Пакет: libapron-ocaml-dev (0.9.10-9.1) [debports]

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

Screenshot

Ресурсы Debian:

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

Не найден

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

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

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

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.

Другие пакеты, относящиеся к libapron-ocaml-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libapron-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 1 401,9 Кб22 843,0 Кб [список файлов]