Parents (Total: 27)
The searched file hash is included in 27 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 | 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 | 1211528 |
MD5 | DACD4EE95CD0467818B04DBB0A1737EE |
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 | 6E2B2E5BFFB32968EE15012B0183B289698C0538 |
SHA-256 | F26685C4C64259CA6BB080C7F2BAC9B165702309AA55B2E9A1D55D630740265C |
Key |
Value |
FileSize | 1215932 |
MD5 | 02B7AEF0E32592964F913A25408E70AB |
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-9.1 |
SHA-1 | 7458E3CE08FCB61AA6927A3D235B18BBACB171EE |
SHA-256 | 52F4F0804275892BCDA7906661E5FDA1998DB9BCB76ED9F2E843C26833B3D279 |
Key |
Value |
FileSize | 1512812 |
MD5 | E7A453BB609DD540DD335BD44EAEC218 |
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 | 79CB5D74002619040FCD728869354A2DA81DAF03 |
SHA-256 | A65DF5365E96D95FEFC8BA2A0AD0FE7FA70609F7CD371F757BF1582262608441 |
Key |
Value |
FileSize | 1511196 |
MD5 | A9A3353BA32A9DE57A8A7AFC30926FAB |
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 | 865FD81D8C100D9B63EC6128575FD86F6291C7FF |
SHA-256 | 1C51CAC91F59B6BCF6A6AFDB0AD1CD26C9CE1C21391D1385D54C9FBAE12BD09D |