Parents (Total: 73)
The searched file hash is included in 73 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 | 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 | 1336052 |
MD5 | 3DA75963742B2B301A34CEB4252E5F4D |
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.1+b2 |
SHA-1 | 0D05D67757CEA5216DB958D16DAA60AE254B8E37 |
SHA-256 | 3126CCC56C286EAD6473E3DC15EC9EB082ED5AFC60BF2FD951B7970DB00F1EA4 |
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 | 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 | 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 | 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 |
Key |
Value |
FileSize | 1316988 |
MD5 | 9545A0F679150CF58E51BD8BFD6F33DA |
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.1build1 |
SHA-1 | 2352D92B797CFF70417292E0044E3095BA826B29 |
SHA-256 | 65D79FC9C11459B1856D164169DB3572D72EB0C557B7C53F911AD343FE2D866A |
Key |
Value |
FileSize | 1279122 |
MD5 | 18D95B5D93BA4F558A87660DC0A4EB65 |
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-9build1 |
SHA-1 | 2705674774CB5C6110EC88A42BE36AB501140406 |
SHA-256 | 6850CD5DFB76D6BE44CFEB45BD451B8D34BE2A350B2DFC2F9352C2373ECB172B |
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 |