| Key | Value |
|---|---|
| FileSize | 4390 |
| MD5 | 650A1102AA9F3AD7A91E70FE62434CA3 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-doc |
| PackageSection | non-free/doc |
| PackageVersion | 8.6-1 |
| SHA-1 | 4CC470E2B7027AF5A9DE602BA2B9CBE7B8AA8F6D |
| SHA-256 | C9A219AE44525621A6A8ECD70A27B798FCCC565AF9D2453C2DAFCF27559ADE25 |
| 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-doc/copyright |
| FileSize | 9735 |
| MD5 | C5150521F7D622EEACC3E1F06EC000CF |
| SHA-1 | A66F615E0F4B14B28FDBE7864F16DDAC0EAC85FD |
| SHA-256 | 0A7472F4BCE12F02AF4164FDE7A3822E3224DCDEA8B32AD92A439A567674CF2E |
| SSDEEP | 192:VG3YtPwWtLnzCs1vtv6GnRVzp1DdPyVZ5m7487erxWxMiniT9:VG3YtPwWtLnzCs1vtv66RVzp1DdPyVZB |
| TLSH | T1C212A76BA644037327D332E2FE4A61CEE727985E32391495704DC09D2B57E3493F62BA |