Parents (Total: 57)
The searched file hash is included in 57 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 | 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 | 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 |
| MD5 | FC0F00E7FE4B0E4F0E3BB3BB7D104AA4 |
| PackageArch | ppc64 |
| PackageDescription | Ocaml interface to the APRON library. |
| PackageMaintainer | Koji |
| PackageName | ocaml-apron |
| PackageRelease | 8.fc18 |
| PackageVersion | 0.9.10 |
| SHA-1 | 19B32B7AFA05F813E8375C4D85EF3F53E533E8FE |
| SHA-256 | A2358B3B6BC78E20392FA1589B158212679D6C61131898901E50756240E8ECDF |
| 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 |