| Key | Value |
|---|---|
| MD5 | 8F2F371EA4A34C90000E4881405AE44D |
| PackageArch | noarch |
| PackageDescription | The coq-doc package contains documentation for coq. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq-doc |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 1B3FAB9C7DD0ED639A44C5B9A20B5BA687C866D6 |
| SHA-256 | E274C8D0DB0C3C726F9A6F4D5E29DE4644F4EDE8496C28A15C1ED2E88454806B |
| hashlookup:children-total | 1 |
| hashlookup:trust | 50 |
The searched file hash includes 1 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq/coq-8.13.2-reference-manual.pdf |
| FileSize | 3794129 |
| MD5 | 123453C6259B0853F4C6BEAFEEE52464 |
| SHA-1 | 7856833C54D2748DBF17ECEAB8801E551D22DC87 |
| SHA-256 | E301E0A9B0B009C52B0CD4D4444299D31AD558060177BEC7464495359E083FE7 |
| SSDEEP | 98304:FNV/UiYWfWG6+43NyUbKA/U5UHPu/si0R1x9v:TV//6DNyUbHU0Li4J |
| TLSH | T11F0623E8E73B85A0DC514A61E01C2AE485D682D7991838FF3CD0DA87B501D6AFD24DFB |