Parents (Total: 33)
The searched file hash is included in 33 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 1295728 |
MD5 | B4D26F25041408D63A16E0BE1A74BB42 |
PackageDescription | 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9build4 |
SHA-1 | 08B1B20C656373B796C7C7188913F7EA51C5E525 |
SHA-256 | 6CF519572D4034842B475A12383511F3DB18CF395F82314E0D56B96D205E22FF |
Key |
Value |
FileSize | 1251792 |
MD5 | AAE09A84039A8310C400652D29848294 |
PackageDescription | 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9+b3 |
SHA-1 | 0FC7134249B2367860DBB53D89CB0FEC90DABE9C |
SHA-256 | 2FD5D478955A99BE7FA21E1F8B6FCFD6F27ABCD617CE3C753789B0FD2D5E2ED3 |
Key |
Value |
FileSize | 1298616 |
MD5 | 62165470D145EC3280E0CF37F1CFF2DB |
PackageDescription | 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9build2 |
SHA-1 | 1C825A421D419A9CBFFC8A3F35C443BE4F7F0175 |
SHA-256 | F886355AE4BA3A17BA96476C1AA5D2F6C8E7581548F65FF3758348039B6CBE5D |
Key |
Value |
FileSize | 1218650 |
MD5 | C310B250989D97FB6FB8E2E003E333A7 |
PackageDescription | 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9build2 |
SHA-1 | 2A5EDD92CCAF7CBAB294A7490C5F744C99F386C3 |
SHA-256 | E5BDAF49024356195047E3EB47633F889FF017659C5F2F8315DE62C1AE5D9568 |
Key |
Value |
FileSize | 1278804 |
MD5 | 985FBF17A7B1AC51C4D0FB8A3A23AA19 |
PackageDescription | 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9+b3 |
SHA-1 | 2D1FBA4EDD16E4061CD8FB0823D9F42DFED887C0 |
SHA-256 | 14CFD0EA50162B5C35871CF08130988BAF155D006EF5E1B088B9FF04B6F930D6 |
Key |
Value |
FileSize | 1288712 |
MD5 | CB3A2DBC9A2D8C41F10C65A8ABB079C7 |
PackageDescription | 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9+b3 |
SHA-1 | 31B292BE088492881823169EDD0EAD042EE7AB8E |
SHA-256 | B39AFDE79E799E712C808F0CD59369F48AD0B3BFEEDE4357C7A424A538A7CA49 |
Key |
Value |
FileSize | 1412760 |
MD5 | 9DF2A3CC49D5B2C579128873A836FCBA |
PackageDescription | 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9+b3 |
SHA-1 | 3D21F760DA9D4938D4E7A32298261BC673D6AE8B |
SHA-256 | 653EB1C7630D601BC851B8B5B094BD34422A44D0640095439613C658A885CECA |
Key |
Value |
FileSize | 1288918 |
MD5 | 9A941B287F63DF9CB8B830FCEE79F3B4 |
PackageDescription | 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9+b2 |
SHA-1 | 40D89E009D7B6E6F8ABD28A656713E3459520DC4 |
SHA-256 | 729327AB65BC8AE8ACDB1F2AF2F3B5291A85126F1BEE945CB07C4074AED36C88 |
Key |
Value |
FileSize | 1303042 |
MD5 | BC5467845838A48C1B5DC4834E2EAE0D |
PackageDescription | 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9build2 |
SHA-1 | 49D3119AC34E2637A502D2104329992E5596D089 |
SHA-256 | E3F32F7D6AA0328F09D30C2A8547A5E44606EE65F3DC30B0572945AD714B778E |
Key |
Value |
FileSize | 1530708 |
MD5 | 3815341892A85CE959EA1485ABC1BCAD |
PackageDescription | 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. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libapron-ocaml-dev |
PackageSection | ocaml |
PackageVersion | 0.9.10-9build2 |
SHA-1 | 61E99ED6C2FFD98D1285EAFEE416C66F1CE074E5 |
SHA-256 | 11BF98A5BF6005F056866EC847FA0728EAC6CE048A4874BDDCB4129561DA4004 |