| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/pretyping/reductionops.cmti |
| FileSize | 87950 |
| MD5 | 0F4B7BA5B9384492A18F8EF79A5A7660 |
| SHA-1 | 00AE19EE3FB47ED657A77A12298956FC9E5D21A1 |
| SHA-256 | 921E3F21E998F32953072FF91D2C8519E1B43469A90D1C056DE39D3FB089B886 |
| SSDEEP | 1536:dPoSHMyujsT0cU7VYB1gzJhaigbYdwlNm6JyKbnbt37m6dXAlGAs:dPtHMzVVY/gzJhaNywVJy0Nm6dQls |
| TLSH | T14F83B39DB12B692BFD4677BF0A7992F31672193DA5E98C3FE44941C4D02A40F03670AB |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 65BFE474671A829612F0F50AF9507A2D |
| PackageArch | i586 |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.4 |
| PackageVersion | 8.15.0 |
| SHA-1 | 3A69208A6843B4FC68161D43B1F7055269FBB66C |
| SHA-256 | 81BE3BDE012EBBB6DF3614F28C04FD57E928E985AA7C61136538E04A7A59890D |
| Key | Value |
|---|---|
| MD5 | C21FEC418C60AAB3C99EBE65FCAFE233 |
| PackageArch | i586 |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.d_l_ocaml.6 |
| PackageVersion | 8.15.0 |
| SHA-1 | 6DD82C8D282A5E6E57566995903FCE467849D41A |
| SHA-256 | D8E264F3A017E4C6A85D5F377B14A69BFB22E70E3A4824802571C0190A340D55 |
| Key | Value |
|---|---|
| MD5 | 4A3BAD91CD015487F9A12388899C2CCD |
| PackageArch | armv7hl |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.d_l_ocaml.6 |
| PackageVersion | 8.15.0 |
| SHA-1 | C4A8E9FE4E2180CC744349A23B9A23806CB119FE |
| SHA-256 | 331120659231A6CD94616849C3748F1FF4F9D67BFA80F21F449B8FA8FFFB84E1 |
| Key | Value |
|---|---|
| MD5 | 85FDE5BC9AD85DFEEF2548BAF32A0C32 |
| PackageArch | armv7hl |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.3 |
| PackageVersion | 8.15.0 |
| SHA-1 | 32DE2EAB9DB8AB22DF9145F5E32EC571FF2370B8 |
| SHA-256 | 68D57EF66507F720BAF2C32BFC2A76F6CDE11A609BD30A6FBF8E6F7E4D1F4BDD |
| Key | Value |
|---|---|
| MD5 | DC7666491C5DA73F0FFE60F4023D2326 |
| PackageArch | armv6hl |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.d_l_ocaml.6 |
| PackageVersion | 8.15.0 |
| SHA-1 | 0BCA7ABDC27A9C76538EFD37D1E6434C195EE748 |
| SHA-256 | E0B907E20BADE61F23AED28F5A758C698F08F7A72BD0598CE7952F988D81B2E4 |