| Key | Value |
|---|---|
| FileSize | 2467952 |
| MD5 | 21871C24E455EEE22A6DCFE5628532EB |
| 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-2 |
| SHA-1 | 4350756C8063E8776A8348E384158259ABEF20C0 |
| SHA-256 | 60FC068137C9B5DA3B5AF47C4E22C71A0D5098B2646F0873F2828C656A213DEC |
| 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/FAQ.v.pdf.gz |
| FileSize | 385083 |
| MD5 | 022679E51C6274C6FEE9013577BBD2FF |
| SHA-1 | 053A36A116CB52C1515F3B304BF02646AE134ED7 |
| SHA-256 | 7A2434ABB15F37454601B2C878C6D417F60E1012CF54DEBB8F851354580D47BF |
| SSDEEP | 6144:LapsOE379x/QDCfuZI+jNBRqi/VAfCV5lKBvMtE2KVS4khJW8H9gGcwYgJqIW7Em:2utB9PGu+j1SfClKai2KEZjW8H9Hcxgm |
| TLSH | T1E284230FFD66B02365B8E2BF8CC6CA2701D64B31E711256C946B40CA16ECBBC7E56674 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc/changelog.Debian.gz |
| FileSize | 1882 |
| MD5 | BBB49B3D92B6AAEA1113ED6F7AFA8806 |
| SHA-1 | B90573BCD04A7B6163EE9C8FDFD75F5177A5551E |
| SHA-256 | E98BFED59D33884933A836FED7C3648FABA3F4F445E3E4B79800467F87F19E86 |
| SSDEEP | 48:XOXQ+XCEl5DNhHelfTJ7QjO4BROD2cdNGZDS5hXq5xuz:pepdHelfTJ754BROldNG5Kh6G |
| TLSH | T1A941F944FD5DD639E016552FC649C7A03C9B9D61B63A6804E14686CC4BC2A3D0D0632D |
| 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/Reference-Manual.pdf.gz |
| FileSize | 1514525 |
| MD5 | A9C351DCD822367DC8EC4B58A1D26440 |
| SHA-1 | 0CF1D5AFB83A933B79B4C2F7E44B3F375B349BBA |
| SHA-256 | F5EB83F35C558A8ABF296E7AFDA66BA985906B6E30D56B8FC37368027BAB4DC4 |
| SSDEEP | 24576:BNtm30H+0wV0k+Mx1O9C17mw/m/nGS8tq2iJPVL+RrSCDOer:Bm3XDN1O9CAWm/GSoqnZFTC9 |
| TLSH | T1FF65333AC435B9DE05D192DE4DE25F2B185DC792E41E6F20FD486E268308F9225E18FD |
| 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-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/coq-doc-pdf/Tutorial.v.pdf.gz |
| FileSize | 197060 |
| MD5 | 8FF436F07D3E7C211425DE4B7FCF83F9 |
| SHA-1 | B238356D49D8E08DB4670F58B3E04A9E83E737BE |
| SHA-256 | D3818B3456FAB1DE023DE74C49F90F0AFD5F81E267A0C41E36F8B657B9AFB54C |
| SSDEEP | 3072:9HSM+muUa5a1ZeNHZHn9QS3BDBpmWSAQz3bQfVQY1RyXeom22PVaZE0KKRag:1ZIUWyeFZHeEpDSAQwdrRggVL9g |
| TLSH | T1E614235259117C1091268FD1BE05F415E09E96C18E99CEE34EED38C3FE27990BBB58DC |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/RecTutorial.pdf.gz |
| FileSize | 316067 |
| MD5 | 40EDC419EAD2F7DA00E8AC4D6C86ECE0 |
| SHA-1 | 297B3E60E6B34F5230598179F053262219E5DA9E |
| SHA-256 | 56BE313062D9BC0BE636375FA8AA6E74267F6A9CA3A281846C8035F6EC5F9943 |
| SSDEEP | 6144:yo2IQC02rWsPrkuKlpjrz6SoU3ilupnLP/WFR33YCKIGzShlqJ6q:R/rkuKPJi+b/WFR3oVtea |
| TLSH | T19F64233E701DE9813D16A269F3D0DAB0002778B547C79C6A4EFC300E69D96EF535A89E |
| 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 |