| Key | Value |
|---|---|
| FileSize | 50422 |
| MD5 | D95A17B5E17B79C8EA74DCE9C70CA7F8 |
| PackageDescription | documentation for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This is a dummy package which will install the documentation in html and pdf formats. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-doc |
| PackageSection | non-free/doc |
| PackageVersion | 8.4pl4-1 |
| SHA-1 | BA06CC4514E75B84D0257D89CDE67CDB22D1832F |
| SHA-256 | 17F2DCA7BF2C864CD9C5E1F59EB533656EF659A1F0EA49447F21AC09AB14BCD5 |
| hashlookup:children-total | 3 |
| hashlookup:trust | 50 |
The searched file hash includes 3 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc/copyright |
| FileSize | 9735 |
| MD5 | C5150521F7D622EEACC3E1F06EC000CF |
| SHA-1 | A66F615E0F4B14B28FDBE7864F16DDAC0EAC85FD |
| SHA-256 | 0A7472F4BCE12F02AF4164FDE7A3822E3224DCDEA8B32AD92A439A567674CF2E |
| SSDEEP | 192:VG3YtPwWtLnzCs1vtv6GnRVzp1DdPyVZ5m7487erxWxMiniT9:VG3YtPwWtLnzCs1vtv66RVzp1DdPyVZB |
| TLSH | T1C212A76BA644037327D332E2FE4A61CEE727985E32391495704DC09D2B57E3493F62BA |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.gz |
| FileSize | 43516 |
| MD5 | C7C886792E85490666EE624EE4BF1BC9 |
| SHA-1 | EFE508C9C7B86AC10C418E9F04606C8798E8690C |
| SHA-256 | BBDDD18958DAC963B7650B5C279D996E2B2775823197A40BE0C2DA2F69101913 |
| SSDEEP | 768:lSi3N4/Cosb0XHQ/BPF+cDmlT5qNlKKsI0iAfk2OcQTz8tuFTi9F3a7:cidwseQ/JFFNl7b0NFQTifq7 |
| TLSH | T15B13F28BB6C8684221C5359971DE6752CBD4577C2F5633B6BDF272CE09C13A48B0EB08 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc/changelog.Debian.gz |
| FileSize | 1782 |
| MD5 | E40E66D26126D9B28F667CA6F0F77370 |
| SHA-1 | 8760C71FF36BA6A174776BDC4F6A4BB5912A7CE5 |
| SHA-256 | 92905BF7EDAB73FF521F146F309E3E494A6062490FD569E9663B8EF596B89512 |
| SSDEEP | 24:XFe00e16JiU80bvaZI2sdpc/2obO9fRJR+16AsxEPmc0fDGxkWQoAuOtQU+HC1Nr:XL1EGgaZSbceldR5IR0rJWQ1N85zu1p |
| TLSH | T191312BA3FD008CD45EB6DC155A178F093B424CCC64ECF03E1608963DCF4684753AA496 |