Pacote: libapron-ocaml (0.9.10-9 e outros)

Links para libapron-ocaml

Recursos de Debian:

Baixe o pacote-fonte apron:

Mantenedor(a):

Debian OCaml Maintainers (QA Página, E-mail Arquivo)

Fontes externas:

Pagina principal [apron.cri.ensmp.fr]

Pacotes similares:

runtime libraries for APRON (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 include only the dynamic libraries needed for running dynamic bytecode executables.

Etiquetas: Desenvolvimento de software: Desenvolvimento OCaml, Bibliotecas, Teste e QA, Implementado em: implemented-in::c, implemented-in::ocaml, Função: Biblioteca de desenvolvimento, role::program, role::shared-lib, Propósito: Análise, Verificação

Outros pacotes relacionados a libapron-ocaml

depende

recomenda

sugere

melhora

dep: libapron

runtime libraries for APRON
dep: libc6 (>= 2.14) [amd64]

GNU Biblioteca C: Bibliotecas compartilhadas
também um pacote virtual fornecido por libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
dep: libgcc1 (>= 1:3.0)

Biblioteca de suporte GCC
dep: libgmp10

biblioteca aritmética de multi precisão
dep: libmpfr6 (>= 3.1.3)

computação de ponto flutuante de precisão múltipla
dep: libstdc++6 (>= 4.1.1)

Biblioteca C++ padrão da GNU v3
dep: ocaml-base-nox-4.05.0

pacote virtual fornecido por ocaml-base-nox

Download de libapron-ocaml

Baixe para todas as arquiteturas disponíveis
Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	0.9.10-9+b3	59.9 kB	339.0 kB	[lista de arquivos]
arm64	0.9.10-9+b3	49.5 kB	303.0 kB	[lista de arquivos]
armhf	0.9.10-9+b4	49.2 kB	223.0 kB	[lista de arquivos]
i386	0.9.10-9+b3	64.4 kB	347.0 kB	[lista de arquivos]