| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_base.o |
| FileSize | 2512 |
| MD5 | 4DA0356FE45D66B314192AB22687E8EB |
| SHA-1 | 006161BCBFC14A6EBEAFCA8A226A930F441ED3F4 |
| SHA-256 | F878374E49FB81B87AEBE3A7F160BA364FCC5ACAA0A2BCAD22C89341C90A402F |
| SSDEEP | 24:bs7REE5iMEGkw2SKh0X4212Ba2QBQT2Af24K2Wz6Zmtz6otCyk7oy:bo5iED2SKqX4rJQuiN4vc6s8A |
| TLSH | T1CF517C0B5F6E89A8C11971BC497DBF526390F9845BE6E303F7243545CE6258CAE234D2 |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 610CC6E4F5B5ACC4BDE352F20EEBAFFF |
| PackageArch | x86_64 |
| PackageDescription | This package contains development files for Coq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-devel |
| PackageRelease | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | 30C6BC41C9C9B4065543D8B742209380E970BFCC |
| SHA-256 | CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA |