| Key | Value |
|---|---|
| FileSize | 2466854 |
| MD5 | 774D56FC94FD7D5166141388B68A71E6 |
| PackageDescription | documentation for Coq in pdf format 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 package contains its documentation and tutorials in pdf format. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-doc-pdf |
| PackageSection | non-free/doc |
| PackageVersion | 8.4pl4-1 |
| SHA-1 | 3121C0119BC91B8BEDED5781C909116638234B52 |
| SHA-256 | C1D5A3BBF0A11223BD98ACB608CA8B6B605C64770E7AA18EEE44C5A95748B622 |
| hashlookup:children-total | 11 |
| hashlookup:trust | 50 |
The searched file hash includes 11 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-rectutorial-pdf |
| FileSize | 690 |
| MD5 | 5BF61F7D80EE6603EFD9ED21941E4CBB |
| SHA-1 | 401A4FEB659A4343D2064033724FD40CD2DB5985 |
| SHA-256 | A53596B93EA53A40C75AB3281796D554A2D96EC4DDA504BBEACECE3F62029459 |
| SSDEEP | 12:YMh/P7oReRLsBkLetIiUwyqWF8KqetJS72oh/i5VHsgDIPajXjLRVhxiNYihA3Fe:Yw/P7kBkLQ5zGJSSUKjz0Par3zTOYihr |
| TLSH | T1D401CB02B341F358C6330CB162FBA3C01751497AB3241EB6702C807B1195AEC63B7BA7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/Reference-Manual.pdf.gz |
| FileSize | 1513680 |
| MD5 | A4AF3B91918E62396DACA42F19BF1728 |
| SHA-1 | 68BB59B6E01A22FA846AB9B5F0BDA6938B835D55 |
| SHA-256 | A274FE16BA87B26F0275C2C2D4DADAFF9FB8A27F8A1BABC135B879744AB735E7 |
| SSDEEP | 24576:zMZtrByzenFgf0iFWizGlJPhYHS23+3FduPx1DXPI9QS19DmSLxEhsFu59oZQIFN:zM3ByCnFglNmkS23+61Dj0VmSLxEh/X4 |
| TLSH | T15D65334587FF70B1A905A45B8565DD3B70C53D226F1B46A8AA0CB38E31D86DF80BA7E0 |
| 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-base/coq-faq-pdf |
| FileSize | 474 |
| MD5 | E752AE65B7AE1FAC4376AF22F390060D |
| SHA-1 | DCDB946929284693D06C61BCA1A2CAD57E418BCD |
| SHA-256 | E140027DA1BEF754859B76D0CCA1A82B59792661FF447846EB435FB8FA5FB86A |
| SSDEEP | 12:TYnZnThFDLezZCPKz6QBPsGKE+/ErnpSWsFS3n:T8DLoZCPKTaGKE+8rpSPS3n |
| TLSH | T1A2F0D410E61B33D951D2815ADF5F27316E5F521C71B12734347D0360A142C9F936F559 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/RecTutorial.pdf.gz |
| FileSize | 316067 |
| MD5 | 2825B095D761458C925E53E4C43F0899 |
| SHA-1 | C8C1AF32A6C227D0138F5388CF934118F2C2908A |
| SHA-256 | CF5BC8CEDC2928DEFE1A24495352684C5958393476B74E3A920D9B9381BAD08F |
| SSDEEP | 6144:n2lR5QdCbabkJ3Nc+TFXawMkJ5TKB9PKMfRdeQrNT142:n23cCcwNzFFfJ5ETbBT142 |
| TLSH | T1686423F7985B4E1E31CB4C8781DDD8140E5EA09C8672C07BB6A787ACAAD19D60CC746B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/FAQ.v.pdf.gz |
| FileSize | 385005 |
| MD5 | 725AA5FE501F7FA33CC23362749D3C8B |
| SHA-1 | A3044F092B630FE498C411BBC934BDE78D507BE0 |
| SHA-256 | 876BB79259075B98E13596D193A0428A392F9136D4E2CD1B98016A70B5353911 |
| SSDEEP | 6144:1K1xzH+aPAkMLHlMNjYMHZIyItLJyMFrBP9erWZMPghnHNsk:0PYkglMdYMHayIB/9mPy |
| TLSH | T179842319A5FBFC22E5C966A6180AC595D1D88FC2B904E7D37F47810AE9AC3C0E0DC79D |
| 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-pdf/Tutorial.v.pdf.gz |
| FileSize | 196973 |
| MD5 | 5F81CB020E37496E30681741A674C05A |
| SHA-1 | 3DAF12772A92C7A99168AAD3D3787DB830C79FDD |
| SHA-256 | 70A607EF748715D2244B99249C3BB982B0787758007A99ABEEF5075F5CE9414C |
| SSDEEP | 3072:3jjfbqQ/AV7gDb3QNWXVo36aP4Y8EGljdUi8RknnlPoBFIw1pZCR6eNRZpI:nmjgD7OUVa6aPR8EGljdUXMqFxo6eX0 |
| TLSH | T1C5141354F79B38B2D42A3B78A0E21F91176C42CE7603AB57970B0DE50A279E4ECC5787 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-tutorial-pdf |
| FileSize | 461 |
| MD5 | 36E05E44D3AC4F964EBBE022FC5DA8A4 |
| SHA-1 | 9C20D2CF369B2B05FFF2ADFFFFF289123856F7D8 |
| SHA-256 | D0201AF537FD455E715F706C3C9B3D1435669E77DC9539DD36110CECCAFE3B8B |
| SSDEEP | 12:Rn/P7Ui3f51LetIhDJvWFA8KoshtQcWai5K9DgduIJHuFS7:Rn/P7U23LDNCA8KoqWNiRmHCS7 |
| TLSH | T1DDF0DC43B152436D6CA36187A24D5AE22E2608629031A131C16C846864CBCA063B3579 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-manual-pdf |
| FileSize | 465 |
| MD5 | CCFEDC220C2754E2C169D29B961346A9 |
| SHA-1 | 4F42A678376E4A7201346346360310BF5B46675F |
| SHA-256 | B31D5231D97CD6C3DAC5FDABA752E90BD825B0A466B0C10DD53E32550F15A863 |
| SSDEEP | 12:KU/Aaz73XsaFK/JP6eKg9snfC/AFkaAFfrLXFSvNV:V/AQHsl/Jzzde8rJSFV |
| TLSH | T1F6F09E42E20102C8E5F3804149061EA54BAB847D16389530916F541C540AEE9A2EB777 |