| Key | Value |
|---|---|
| FileName | lib/ocaml/coq/theories/micromega/.coq-native/NCoq_micromega_ZCoeff.cmo |
| FileSize | 11804 |
| MD5 | 7845BF9DC79BBB6C096F87A3023951AB |
| SHA-1 | 0091008609F7BB2B058C0BD27200A17B39E68D19 |
| SHA-256 | DC1FBC20E9256C92DFE4CCED1AA5E3FA0094278AF7EE58A8BC3360BF1FE7FB26 |
| SSDEEP | 192:WyhnlPtyQyqhvtMJTvbEQ61NlC9CpLctQJSyjn:ty5bEQcKCpLZBjn |
| TLSH | T19E32410B662B6422D8E98673DDE7C6752374B50DEFC70A1B21CD9A6E18C3B0F669530C |
| tar:gname | bin |
| tar:uname | root |
| hashlookup:parent-total | 2 |
| hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//arm//coq-8.12.0p0.tgz |
| MD5 | 916AFEB625BE94C9B8EAD1EDF39E8F1F |
| SHA-1 | 9D5B29F8F603B1B93301BC7DF6B0C4C0853922DE |
| SHA-256 | 7643FBA5CEEEABC73E774A75A702C28CEC924E26A04E7F9DA06434748A6E9629 |
| SSDEEP | 3145728:1sT7OduMsZhK6hewJRBKCgm4d2vdkaria4g+T:1mOELs0D4Mmaey+T |
| TLSH | T1725833F8D3484E8FCDB8E2B3063DE96505D740A743AA4154C4466AF1F64F5AA1F2EE32 |
| Key | Value |
|---|---|
| FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//powerpc//coq-8.12.0p0.tgz |
| MD5 | 77C3B061B8B31E295A7F60F1511A54B8 |
| SHA-1 | 42209D9F851BBF41D1AA3AD40D4E4F2402CAE934 |
| SHA-256 | 7BB30907D877B8DC10A3D6BF9889489FECBF66B83B51292BE9E9E241F636FA54 |
| SSDEEP | 3145728:FxsTLCdDIKOpsgyCLUJRapIx78Ix7m8w64:Fx/qpVRUJRIk57nwV |
| TLSH | T1F05833ECF126658A7CE0B2ABB7299DEC2BD5E44B008995B0C4C43FF7799641D6A4CC70 |