alle opties
buster  ] [  bullseye  ]
[ Bron: apron  ]

Pakket: libapron-ocaml (0.9.10-9 en anderen)

Verwijzigingen voor libapron-ocaml

Screenshot

Debian bronnen:

Het bronpakket apron downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

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.

Tags: Softwareontwikkeling: Ontwikkelen in OCaml, Bibliotheken, Testing and QA, Implemented in: implemented-in::c, implemented-in::ocaml, Role: Development Library, role::program, role::shared-lib, Purpose: Analysing, Checking

Andere aan libapron-ocaml gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libapron-ocaml downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 0.9.10-9+b3 59,9 kB339,0 kB [overzicht]
arm64 0.9.10-9+b3 49,5 kB303,0 kB [overzicht]
armhf 0.9.10-9+b4 49,2 kB223,0 kB [overzicht]
i386 0.9.10-9+b3 64,4 kB347,0 kB [overzicht]