všetky možnosti
[  buster  ] [  bullseye  ]
[ Zdroj: apron  ]

Balík: libapron-ocaml-dev (0.9.10-9.1 a iné)

Odkazy pre libapron-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík apron:

Správca:

Externé zdroje:

Podobné balíky:

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.

Značky: Software Development: OCaml Development, Knižnice, Testing and QA, Implementované v: implemented-in::c, implemented-in::ocaml, Role: Vývojová knižnica, Program, Purpose: use::analysing, use::checking

Ostatné balíky súvisiace s balíkom libapron-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libapron-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 0.9.10-9.1+b2 1,304.7 kB14,581.0 kB [zoznam súborov]
arm64 0.9.10-9.1+b2 1,236.7 kB14,476.0 kB [zoznam súborov]
armel 0.9.10-9.1+b2 1,149.7 kB11,694.0 kB [zoznam súborov]
armhf 0.9.10-9.1+b2 1,263.2 kB10,542.0 kB [zoznam súborov]
i386 0.9.10-9.1+b2 1,515.5 kB13,516.0 kB [zoznam súborov]
mips64el 0.9.10-9.1+b2 1,329.6 kB20,889.0 kB [zoznam súborov]
mipsel 0.9.10-9.1+b2 1,429.0 kB15,977.0 kB [zoznam súborov]
ppc64el 0.9.10-9.1+b2 1,397.8 kB18,345.0 kB [zoznam súborov]
s390x 0.9.10-9.1+b2 1,227.8 kB15,676.0 kB [zoznam súborov]