| Key | Value |
|---|---|
| FileSize | 4456 |
| MD5 | 91CBD41A737158A79AB0F33C923B2197 |
| 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.4pl2-1 |
| SHA-1 | 20234111E8830A9429479813D03CCD8E7B53BC86 |
| SHA-256 | 43AE41DC8F082268A028540566ABDE45ED67D2DFB924527E2C47962DAFD428F8 |
| 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 | 9966 |
| MD5 | F76F7F0B38BAA006C8E6405E71042904 |
| SHA-1 | 0409C68547277EB2DA5F685DAB152B185B9EF07F |
| SHA-256 | E050C0F2BB586152608A0970B49701146F245ADB503E3F747EC2DB7E917BAF17 |
| SSDEEP | 192:Hr+sksZX/22EIAt4Hzgfzt16uJcnzfqtjbG0PES0TqxMWZif:Hr+sksZX/22EIAt4Hzgfzt160cnzfqt0 |
| TLSH | T1CF22A7AFAE04037327D3D1A6AA4E55CAE31BC86E313A1495704DC04D2757E7493FE2BA |