Package: libapron-ocaml (0.9.10-9.1 and others)
Links for libapron-ocaml
Debian Resources:
Download Source Package apron:
Maintainer:
External Resources:
- Homepage [apron.cri.ensmp.fr]
Similar packages:
Kørselstidsbiblioteker for APRON - OCaml-grænseflade
APRON-biblioteket er dedikeret til statisk analyse af numeriske variabler for et program ved abstrakt fortolkning. Formålet med sådan en analyse er at udlede invarianter. Det er lavet som en fælles grænseflade til diverse biblioteker/abstrakte domæner og til at tilbyde yderligere tjenester, som kan implementeres uafhængigt fra det underliggende biblioteks-/abstrakt-domæne.
Denne pakke inkluderer kun de dynamiske biblioteker krævet for at køre dynamisk bytecode-kørbare filer.
Other Packages Related to libapron-ocaml
|
|
|
|
-
- dep: libapron
- Kørselstidsbiblioteker for APRON
-
- dep: libc6 (>= 2.2)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgmp10
- Bibliotek til multipræcision i aritmetik
-
- dep: libmpfr6 (>= 3.1.3)
- Decimaltalsberegning med præcision
-
- dep: ocaml-base-nox-4.11.1
- virtual package provided by ocaml-base-nox
Download libapron-ocaml
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
mipsel | 0.9.10-9.1+b2 | 49.5 kB | 306.0 kB | [list of files] |