Parents (Total: 130)
The searched file hash is included in 130 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 |
| MD5 | EEB311D78981A21CA3FB59DADA580F55 |
| PackageArch | ppc64le |
| PackageDescription | Ocaml interface to the APRON library. |
| PackageMaintainer | Fedora Project |
| PackageName | ocaml-apron |
| PackageRelease | 29.fc23 |
| PackageVersion | 0.9.10 |
| SHA-1 | 028B6F2F051BBAB4A7EFFFA0A80696CF86A1AA5F |
| SHA-256 | E5AB417DCA7D2C96FC06ADB7550C07079CC8C8CE410B80847DC1D6485EAA862F |
| Key |
Value |
| MD5 | 6559D8E7555FF7EA60F68CD1A1D14E0A |
| PackageArch | ppc64 |
| PackageDescription | Ocaml interface to the APRON library. |
| PackageMaintainer | Fedora Project |
| PackageName | ocaml-apron |
| PackageRelease | 12.fc20 |
| PackageVersion | 0.9.10 |
| SHA-1 | 0311087F4B96D8C3F360BF37F6DA82785BDCE932 |
| SHA-256 | 80B73BE3FCE707AB71345FC63B0DFA959126B398ABD21F1701C6ECEE6E188CAA |
| 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 | 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 |
| MD5 | 276989D39B32ED904B916081748FD5F3 |
| PackageArch | ppc64 |
| PackageDescription | Ocaml interface to the APRON library. |
| PackageMaintainer | Fedora Project |
| PackageName | ocaml-apron |
| PackageRelease | 24.fc22 |
| PackageVersion | 0.9.10 |
| SHA-1 | 0E545ABA766ED80610020CF6D9CDBE5AD87A9775 |
| SHA-256 | 2D0139302BF219E2D6BB9BD25949A7EAABE0C1DE130DFDD7DACD73C25D1C243E |
| 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 | 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 |