| Key | Value |
|---|---|
| FileName | ./usr/share/doc/cvc3-doc/html/bitvector__theorem__producer_8cpp.html |
| FileSize | 10372 |
| MD5 | 923F584D08242619441F25EF2432F7F2 |
| SHA-1 | 00061B434195F7D76E9DEAD93A62D999FC77705C |
| SHA-256 | 3E1A7DC7F101F44C813EAC36A7A05CE29C893E765CCDD4104478B565AD40B68F |
| SSDEEP | 192:dByRMs64NfXm1187lCVPBM0wQoQt+yNY2J8hmnPiQ2Jacpl:dut2YlUPBCwcGY2GInPiQ2ocpl |
| TLSH | T1BE225211E5F6E33B9A9372E2661CBF67BAC081D3E2401490B4AD7AE71F45E42CB0745B |
| 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 | 90916234E7B57F7180AB799B17FCDC32 |
| PackageArch | noarch |
| PackageDescription | API documentation for CVC3. |
| PackageMaintainer | Fedora Project |
| PackageName | cvc3-doc |
| PackageRelease | 7.fc20 |
| PackageVersion | 2.4.1 |
| SHA-1 | A354600A018434DBCEB27E675FBC68B2D5605F5C |
| SHA-256 | 7F730D2AC6FCB05E33C24BA7F7F3FE02837C8DFC2019767EEE4F277047144A3D |