Key | Value |
---|---|
FileName | ./usr/lib64/coq/vernac/classes.cmi |
FileSize | 7331 |
MD5 | F255B951E06B2F99A0E9BDF3B07F9734 |
SHA-1 | 0093FCCA789DB2C41F6FF031809E1F79B6C5FE40 |
SHA-256 | DE684A1C4CA1E4495293D519672D07DAA4CD0BB5298A2B292295C0142D365795 |
SSDEEP | 96:KkVUY70LKwmYKBeliLv6jZxJL7jzXZRb5jbrImyzt7HTEFtShly1UUfoFiuqm8:Ku70NKBe46ZvLDppNPiHT6Yly3dvX |
TLSH | T17DE1C8EDE594B4E61848D0BDC06E9563101C43BFC9378C7B472D46D1942C8AEC76B9CB |
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 |
---|---|
MD5 | 72C30ED34F11996ED729EA7DFA41D3BF |
PackageArch | x86_64 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp154.1.44 |
PackageVersion | 8.13.2 |
SHA-1 | 8AC184006D2900B9E6085F3CD3E0928223BA54D5 |
SHA-256 | 6B9E9C8D91A82BB109576C17567594A0C53114475F7FF4E732D2E2F99645D05A |
Key | Value |
---|---|
MD5 | F2DC9BE3B76B405FA5E807A258A3B566 |
PackageArch | x86_64 |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp155.2.13 |
PackageVersion | 8.13.2 |
SHA-1 | E3195C599D30A26038C530A0DC904486E9A4A75B |
SHA-256 | 2623B8547476CF37B5EC058CE14FF3AD3E7EEF7FB22BEE5CA2355B0C6C9D6696 |