| Key | Value |
|---|---|
| FileSize | 2592376 |
| MD5 | 338D9464CFD5B6725AA11D38BD5DF5AE |
| 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.6-1 |
| SHA-1 | 4F2A7E83C90CC8C32980F3CBD9A1131870529094 |
| SHA-256 | 327BE56C7FCE4CC98DFF30A5CF05A84B9B2698D213EEA0BB0E8B2F5E581D4ABD |
| 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/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-pdf/FAQ.v.pdf.gz |
| FileSize | 367556 |
| MD5 | 263ED72891BF382BB925EBD10AAE1AE3 |
| SHA-1 | FA81F8C52F53AAE72BBABAE783DA28F24302EF9B |
| SHA-256 | 2F5600F31432512DB905D3D40D4436DE267FDB5BB3425BEE9B3151F232ED50CE |
| SSDEEP | 6144:bP1vMFhR8mp7TxBr8bTN2UqxgZmr5GBYvB+SgFCW3hyihTDV5HmdsXpmB5U0LP9e:bmFhR8mpJOkN0mlGBYv1xWThSX1W |
| TLSH | T16D7423D4BF98620658FFC9A65573858E1CD8C9E030530F1EF78D87B61C958607E08AAF |
| 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/Tutorial.v.pdf.gz |
| FileSize | 193882 |
| MD5 | A38FC82AE5EBB593E06674FFF0064F09 |
| SHA-1 | 32C5199F1072C86E4F10B5D63C6516D756C418DA |
| SHA-256 | 4732B8AAFA81334F22DA003DC7118F8125CB39F1EC0C5D1DFAFBE2ECD8DA676F |
| SSDEEP | 3072:RmGkI18tR6ujV+QUw3ZIKKJwwnnxbUEsZcl8vDeEVuMkC80U:XH18/fjVnUFJvvQDNVvI0U |
| TLSH | T177142311BA22557E10B50C92A6D2D651850F3BAA9C683BF1F9204FB10E773989EFD4F8 |
| 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-pdf/Reference-Manual.pdf.gz |
| FileSize | 1646599 |
| MD5 | 2ADF5607BD536A2D646050B0333517F3 |
| SHA-1 | 4C683C0A7159B55A8597F6140FE6BAECE78A5DA6 |
| SHA-256 | C2E9BF024AE85464A133922C7A875CCCB24315D83253F1397C2C0E5CEA7EEC3E |
| SSDEEP | 24576:r6Wsx9cfSXYsQ4Q3AamL/WaMgHtGgmYZe7EUyKTzL4lxTDByBSW3Ai5:uWsQ6BQ9AfPtGVYQVTzL4DNISW3Ai5 |
| TLSH | T1E975335D0D5DC189881EBFF1A8C6C6C78A3C9EB974AF1E194B1F18D80118AD2BD94A1F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-faq-pdf |
| FileSize | 492 |
| MD5 | 67EADC9CA77429466C8B5734739526A2 |
| SHA-1 | 79A5C5928D4A22E6A92A80A6FCB302808EC7AF16 |
| SHA-256 | 06A60B69E3E90876C31D136103BD4D0FCC603B71751D5EB3D4AEA3F7CFADEE06 |
| SSDEEP | 12:TYYGZneThFDLezZCPKz6QBPsGKE+/ErnpSWsFS3n:TZDLoZCPKTaGKE+8rpSPS3n |
| TLSH | T1C6F00E10E61B339911D2815ADF5B23316E5F161C71B12330307D0320A142C9F936F959 |
| 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 |
| 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 | 466 |
| MD5 | 409A46D4B79EF195F521D9CA08B80CCC |
| SHA-1 | 23A9AAD93EBFDC6FF3E4AD9539B0F3B8CF0F1977 |
| SHA-256 | 1A3191C25EC75420E9044DF0CAF60A78018F845D87063B4DFCDC1A9B41B237DF |
| SSDEEP | 12:KU/Aaz73XsaFqJPdKg9snfC/AFkaAFfrLXFSvNV:V/AQHsjJ1de8rJSFV |
| TLSH | T118F09E42E20102C8E5F3804189061AA54BAB847D16389530917E501C540AEE9A6EB777 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/RecTutorial.pdf.gz |
| FileSize | 316050 |
| MD5 | 16A0E0D91781F45A65ECB62606744B09 |
| SHA-1 | 7C803CF30DE69FE45D2A8E986D0BCBD8CE20D032 |
| SHA-256 | 1BC6A8AC5967EB4D1EC4148E566AF9621C658C98D253657826BE064A0EDEDC67 |
| SSDEEP | 6144:LVT/FNgN40aOSoU3zuTA7TCQL+lyQqQsPouIhB69PKMfRdKQrN0fp2TXh:BLgCzuTcPL+BsPoH/GT/Bm6h |
| TLSH | T13864233356F3B621E6B73F7D81DEE928009A9D928DA3D94B0947AC74E810EEF55C400B |