| Key | Value |
|---|---|
| FileSize | 63758 |
| MD5 | 6DC4BE592DFA4E4AF0484FEF809406B4 |
| 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.6-1 |
| SHA-1 | 163AFF2CF3C2A0EDC00DE2CCD87FC35995415B1C |
| SHA-256 | 1F99C276671FAFD5D4617D1A53495C97B4F25ACFA07ADD51337579DB29A8F011 |
| 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/libcoq-ocaml/changelog.gz |
| FileSize | 56467 |
| MD5 | B4B120CACF47C80C1F873F09263C0A7D |
| SHA-1 | 7CEE2401B6CCC3A2E70089CFA5C276DAD71C0CE9 |
| SHA-256 | 625BE9701286FE7E124B3CD048817A540D486FB863E54ED8FD0579E27BC8C97F |
| SSDEEP | 1536:e24W3saL1RiUQwWf1TQRmuAy7Yf0GH8QK0lXLJcS5/Q0uY4gK:e2JcaVeEMyO8OX9cUQgbK |
| TLSH | T197431266584A0EB7939067F6BBD135E419DEEFD021AECC0E5CDED68F2A944870E22940 |
| 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/coq-doc/changelog.Debian.gz |
| FileSize | 2055 |
| MD5 | 0FB8FFF0B486EE92492A212E3803BA70 |
| SHA-1 | 08479ADEF0E3EAAD4959E0ED1028EDAC4A476CD5 |
| SHA-256 | 1AC4111C4B00D3BCC034E44D5E013B833CDC19D0814357C7CAAC54ACD0C8CB51 |
| SSDEEP | 48:XulImz2NEysIqo+GXCKa2QdigZ7jtxU+R/xRlKMbS:enWEysIf+GSLdFZY+Nx7KP |
| TLSH | T16C413A0F99DCF76F4E3F1B9C2FC55B826A20290F9592EB10E103C5AC324DA6E6D08C54 |