| Key | Value |
|---|---|
| FileSize | 4402 |
| MD5 | CE6E42CE22ED1FE08342DF65F51C008D |
| 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.4pl4-2 |
| SHA-1 | 7ABB1469CB4BE87BFD4C186A964F161A85255A98 |
| SHA-256 | F51E13641FDF70639C585D05CAAA729D196B8378E2552324AAB69D6E5C8EC1F9 |
| 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 |