Key | Value |
---|---|
FileName | ./usr/share/doc/ocaml-apron-devel/Lincons1.html |
FileSize | 15777 |
MD5 | B5EF170350D0458497DF94C6CB2381D9 |
SHA-1 | 0E53962C48112E7193C2868E2DD7B01B34B1DD53 |
SHA-256 | B2D18D41E25762D2DF658E84AEF265F2C19D120E0402FB0A9C314C165D821A1A |
SSDEEP | 384:3pGOmykU0omZSfM48YgCIkBeP8BY0c4ogJAU+sQ+OB4gQzooz89o3H8xJgRaOnNQ:3pGOmykU0omZSfM48YgCIkBeP8BY0c4C |
TLSH | T16D6246B0C2C0293E98A281CED7EE393CB7EB14FAC5D152C06CE96739C665F51233595A |
hashlookup:parent-total | 32 |
hashlookup:trust | 100 |
The searched file hash is included in 32 parent files which include package known and seen by metalookup. A sample is included below:
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 | 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 |
---|---|
MD5 | C0BC7EF234F95B2C36726EB863199F8D |
PackageArch | ppc |
PackageDescription | Development files for the Ocaml interface to the APRON library. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-apron-devel |
PackageRelease | 11.fc19 |
PackageVersion | 0.9.10 |
SHA-1 | 252AD73BFA9A57263E1C3CBAE219810DDB273CCB |
SHA-256 | 8600649AE987CE1108C2EF8865F174152B7EEE533C95A541980AE295BD537CE5 |
Key | Value |
---|---|
FileSize | 3293150 |
MD5 | 5C17CB94EEF3B81B7CEA15F9FF664A26 |
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 | 33DF2007676DAD1B5654D99EAE6F54C80D5A0884 |
SHA-256 | F5DF90861654756EFD0A230753DCB51E8D5B05868847A32A963D04073192D40F |
Key | Value |
---|---|
MD5 | 7F5AF0BB5D57909DBE5AC06637DA2288 |
PackageArch | aarch64 |
PackageDescription | Development files for the Ocaml interface to the APRON library. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-apron-devel |
PackageRelease | 24.fc22 |
PackageVersion | 0.9.10 |
SHA-1 | 36894756649CBD7259497FF43991485FDF76FEDF |
SHA-256 | 7A7E9C292B7CE2C723B5BF68701CF6800BF71D06017122EDF6D63587B26634F6 |
Key | Value |
---|---|
MD5 | D916971594BC8A08F2C74703CF644586 |
PackageArch | ppc64 |
PackageDescription | Development files for the Ocaml interface to the APRON library. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-apron-devel |
PackageRelease | 12.fc20 |
PackageVersion | 0.9.10 |
SHA-1 | 4B62DFA8AE10DA5E274A1E9386108A2357E5ACEE |
SHA-256 | 3F3C4A6C67338D45F780CB13956C4B092A7C00A75370696E0D77DE50F713591E |
Key | Value |
---|---|
MD5 | A6B1499664A53E649F1561C74FED4F61 |
PackageArch | ppc64 |
PackageDescription | Development files for the Ocaml interface to the APRON library. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-apron-devel |
PackageRelease | 24.fc22 |
PackageVersion | 0.9.10 |
SHA-1 | 6426EE6FB2522BD8E280A8BAE2A9995A3F4B6796 |
SHA-256 | CFB14E8C7FFE4740D1A6B3F3F245C3EA01EC0CCC27125ECFFC6EC9A7E7F1AD53 |
Key | Value |
---|---|
MD5 | 811C36732E65EC1B6D6FADE0E8978518 |
PackageArch | ppc64 |
PackageDescription | Development files for the Ocaml interface to the APRON library. |
PackageMaintainer | Fedora Project |
PackageName | ocaml-apron-devel |
PackageRelease | 19.fc21 |
PackageVersion | 0.9.10 |
SHA-1 | 6B9DFAC6111BBB5289D2458ACC56EBF1B89AF305 |
SHA-256 | 738A0B92147CFD619EFB5D66929AF3763A46C0DB5D192D2F6F358E5C66B54CC3 |