Parents (Total: 80)
The searched file hash is included in 80 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 2969936 |
MD5 | B096B0E51F426E1CC730030D63D3F7C6 |
PackageDescription | an 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-5.2ubuntu4 |
SHA-1 | 019BDFB31BC896057CE58C9B26DFB4DF63CBB121 |
SHA-256 | 4161FD2252B79362A05380C02FA2EC6C001980E7BA12B25536728ED517E53BB6 |
Key |
Value |
FileSize | 1172702 |
MD5 | A3689BA16FF6A689C72FD8C1D89361B5 |
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 |
SHA-1 | 0A70ADABEC9F3675957F94E5EA70131EA374714D |
SHA-256 | 5494D0FB11D54656609D630BDB3502184DEC37B43CB3F30C18C1FD1AF6964CA7 |
Key |
Value |
FileSize | 3446348 |
MD5 | B84BC3140A88C348585732907CB0BDF8 |
PackageDescription | an 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-5.2ubuntu2 |
SHA-1 | 0D24C3B2CCF9EE0F8160FE1D08F8A72D4E666E09 |
SHA-256 | FFAAF4493DDE86BAF0AF7B58D62B227391599B3537842DE749F002DD38C21C1D |
Key |
Value |
FileSize | 3295784 |
MD5 | 4F37F258464C7756876D7AC5F84471E1 |
PackageDescription | an 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-5 |
SHA-1 | 0F75F683F839FE07E30E60EDA6DA6618D5D02364 |
SHA-256 | E3B6A742F58A4D00C19F69697356FBA46C99E3CC9D2C92D0C848FE82E50080F6 |
Key |
Value |
FileSize | 1390544 |
MD5 | B4347D5F66AD44100172D4547BD55222 |
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+b1 |
SHA-1 | 13AEF07A1AA427EDF2502B0EF4AF9D13E0B68827 |
SHA-256 | D3A2ABA3620B89642F9189DAEF0A6A0ED009B376B61A53FDF756C530B03B9BEE |
Key |
Value |
FileSize | 3279746 |
MD5 | 01D07DBF3BEDC522AB7DAF78AC3248AB |
PackageDescription | An abstract interpretation library
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-4build1 |
SHA-1 | 13B766D46178CEB7669658FF9DA3229CEA808DF3 |
SHA-256 | AF7FF3ECD374D032311AD98CFC16BF9AB1CF76AB8964C8002BC1ED03F080B26B |
Key |
Value |
FileSize | 3074824 |
MD5 | 54ABD51A660FEAFE2ED6169D27FC8407 |
PackageDescription | an 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-5 |
SHA-1 | 151AC1D773CFA2008429AD58931D6621C2BA81A5 |
SHA-256 | 0115BEB3F0D2DC4AFA80703A835B3E2A15B6CF320B1D314FACBC860755F53CAD |
Key |
Value |
FileSize | 3285690 |
MD5 | FD265FF9A1D0ACEDBFEE4B450471030F |
PackageDescription | an 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-5.2ubuntu3 |
SHA-1 | 1AD16E8430C0A6102AB54A549B4E727FBCFBD1E9 |
SHA-256 | 611339E24F07886FB64B453CEFF47FB758C3D1BDDC3DBB241FE045F9B73E8440 |
Key |
Value |
MD5 | 5FED181031DE7807974605299092F9D5 |
PackageArch | armv7hl |
PackageDescription | Development files for the Ocaml interface to the APRON library. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-apron-devel |
PackageRelease | 5.fc17 |
PackageVersion | 0.9.10 |
SHA-1 | 1B4EDAE20967905D3A8876F1175097B209F4A9AD |
SHA-256 | 6679BFAE56CFA894C73F77FD6DD6A4F606C44CB3F38736A3BB24D50C6A30E6CE |
Key |
Value |
FileSize | 1243306 |
MD5 | 3788449A7E43C88057EA4B1069F60CF5 |
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 |
SHA-1 | 1EB0023469877FE35725B7BF1A6A5B9C67EF18E4 |
SHA-256 | 0537D864D77870DD602E607789147705CB9BB04BBE9CB283304CC576D641604E |