| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/micromega/micromega_plugin__Sos.cmti |
| FileSize | 11382 |
| MD5 | 91EEA592B2CA3DEC0CC8729DA17F7B1E |
| SHA-1 | 007B5445AD1E0A8FEB5FF5D71E48A7E0E8C4BC72 |
| SHA-256 | C673E2816A44E6181A9F1E5B99BF64E4A5CEDDF64995FFA99CCFD9A429CF222F |
| SSDEEP | 192:yLqLz/SnnrlvjJ1TrJqIiP7VcPtevNzzzzzeQ1Jh12R+NgZBEdQf8unk9K/eP2GW:/jC3TqIiP7VcVKMQ1Jh1o+NgrEdQE2sw |
| TLSH | T181329589C6188E07DC87367F1549A2E302A08A7DA8EDDC3FF48D75C4968F00F1B5646B |
| 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 |