| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/ide/coqide/configwin_messages.cmi |
| FileSize | 1456 |
| MD5 | 432DEC91A957FF67378E4B8EDC24422E |
| SHA-1 | 125756CDCC889205019C5B36DEE8B4270490AA04 |
| SHA-256 | 296177044700C0139FB10940C93B6568A3FDD2DB45704CAC1143D70F96DDEA5C |
| SSDEEP | 24:qRhfRHRFiIFnoK5/kS1woBnXaiExSr9nwOgRnO37WjAnbdi:qffPFi2N/b/BXa/xQw71O37WjAnbdi |
| TLSH | T1D131DA1EA339BC19EF72566E6BC001D2DE55B36C22CEC9A3DD195D84C25445D37270C7 |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 3F530D9F2F5A0E92C1F2BD5E0B4F190F |
| PackageArch | armv7hl |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq-ide |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 6C7A69363F807869F04194EEE1D7F49673EA1B16 |
| SHA-256 | 024441A8901F030018A0E8EBD2706967E71A140451B5DAA21D4DBF95E3A9DE30 |
| Key | Value |
|---|---|
| MD5 | C4CC9B8CE17594AEB33588933072A9F9 |
| PackageArch | aarch64 |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq-ide |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | AE4C1F0B0FB0352445AD89656BB0E1BBD9F56B75 |
| SHA-256 | D7EE82E7FBF82D2160C137CA6D98557D1104410429D38B0EC0C4AEFC2A93248B |
| Key | Value |
|---|---|
| MD5 | 42530C639C762457614A739400E7A41E |
| PackageArch | x86_64 |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq-ide |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 05C175903361F28D2FCE7AC6FF9F16870889C269 |
| SHA-256 | 39882EE972A0FE0A318EA813DA3208F3E5A252222BB030747EACB36F2BDDB5DB |
| Key | Value |
|---|---|
| MD5 | 8E532B4A727D9942A36371DB85B567E9 |
| PackageArch | i586 |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq-ide |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 0A7665FA065E65724FEA76E5EB44BFD37DD20A01 |
| SHA-256 | 451E48689D4C4A3A783AFD793E7DE0DEBF23D228E616E890E7E036C1BA7781E9 |