Parents (Total: 35)
The searched file hash is included in 35 parent files which include package known and seen by metalookup. A sample is included below:
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 | 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 | 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 | 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 | 1245586 |
MD5 | 5514575FAA6659D24CEB79AF27E948DF |
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 | 309254A676BE4B9D84AA4F89E562F8E657BA2503 |
SHA-256 | 233367EB3D3F3DD3F5B00ABC65A039415B513107406D9380D544DC1E117F79F1 |
Key |
Value |
FileSize | 1280112 |
MD5 | BFC74105683F9FA6CAAB759B2B3A8112 |
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-6+b1 |
SHA-1 | 333EE119189E084786F880233EF02B0E284D3144 |
SHA-256 | BB432816146DD01A348C55E4FB88C9D2DAF2EA4299FF4802BEDFEC2B9C3417C2 |
Key |
Value |
FileSize | 1234854 |
MD5 | 48BF71CD12CB3F15578FB4D73B4B864B |
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-6 |
SHA-1 | 3D2F1BEA464DB008F95DE899F19EA4EF31F4B3F9 |
SHA-256 | 5201C9F9F7756E47B5135C0D7C912BCEF36011A53F86B43BAAFCF0A412BA3481 |
Key |
Value |
FileSize | 1132696 |
MD5 | 6125360E3ECD89E7871182B26C3543F7 |
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 | 46660A3593DF03D340B94C723C149874C6F722EE |
SHA-256 | 49166EE83677C445559845C4D391E4579E52B324E7706846B0EB989DC4BAF23D |
Key |
Value |
FileSize | 1128044 |
MD5 | 1ECF69AE8E9E72FC29931C13C901FD7A |
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 | 4694CAAECFF6A31B1F5139179C5ADBC4F9D62FD3 |
SHA-256 | 1F7B20FA60B6C2A9CCEB599D89DCC3972824617773BBD89BA3C6A45CDEFC30A6 |
Key |
Value |
FileSize | 1427206 |
MD5 | 4F5FC919F2B502327E5682E236D1B67F |
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 | 4A771DEE39B48C8BD86897D1532FA44EC1C80D8B |
SHA-256 | 2477A4A1B4DF3ACB756EF32BE3D77944C01A8469D3DE6DC1D892DB60A1CED7A6 |