| Key | Value |
|---|---|
| FileSize | 2534360 |
| MD5 | CFFACECCCFE03277A5543A87D8A5F071 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-doc-pdf |
| PackageSection | non-free/doc |
| PackageVersion | 8.6-1 |
| SHA-1 | 30C6F7360B653B40CDB89E8553AD512253362D1A |
| SHA-256 | 12C9801AA5FC63E4C7FC8F0AC5CA5FFAF09A62AEEDBFA36DF1DA61D9F6F16DC6 |
| hashlookup:children-total | 10 |
| hashlookup:trust | 50 |
The searched file hash includes 10 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/changelog.Debian.gz |
| FileSize | 1154 |
| MD5 | 692A34B76589FAC5D0AD43DCD28DFCF5 |
| SHA-1 | ED41AD5ABAB2A08919F13D3B60B689CD0F074B28 |
| SHA-256 | 39C26F4C4D5004C54064A3DEADB15C759AF256E2B850A1439390925A9B0994E3 |
| SSDEEP | 24:XHjVB3rt634HVgX+VjNaCNIu9e4Ny/yYjhlWDY6/uqG4B05TPr82GSZDTm:X5Vt634KXijNnRe4NsyY9lKvOrZGOPm |
| TLSH | T19F21A7137D7E0389CA120EFE240BA51B71D4CAD3893E0A47D8E994BA2826D4B81443F4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-pdf/Tutorial.v.pdf.gz |
| FileSize | 193879 |
| MD5 | 98ABB3148DD38331A58E5290A709C63C |
| SHA-1 | B43C1D0AF52141422ED9391ED978C9A4EDBD7E4E |
| SHA-256 | F11332335B032779B2103F3BCF59C05378B6465A6B9DB95A3FE4BEC5A43937E9 |
| SSDEEP | 3072:pSLnzqIWzJYDfl5wZj1UC5N2xNWWJrRLvq9eu38+zmvevR1hfI67YiSGjaEx1zfR:ULzqIWzGDYZZUCD2xNWWJrluyshzhF7z |
| TLSH | T1F21412D6527A53CE07EBE6243951BA4507942F8E03919D0EF8918708934EF64B7E3CDE |
| 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 | 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-pdf/RecTutorial.pdf.gz |
| FileSize | 316050 |
| MD5 | 9B967C1FFB3AA60650462051F6A85AB0 |
| SHA-1 | DB1419F94F3211B46D8A13A215458D17F1EAB077 |
| SHA-256 | B0E087AB541404F1091F746068F6E2838E5CC1530483B004FC4D3D5351F2B0D1 |
| SSDEEP | 6144:RDSiVOqb80x+4w+F/sSmjQoz6qiof1ANceuOpavl6LfKuyeqn4ddjueaCMEEnttb:NDOqQ347FLmvriJ5uOEvgfKuyeq41Pc7 |
| TLSH | T1216423FE7317FA98AC169D12C743903193C65E31936E233CE9932845EC5E869AF26D4C |
| 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/FAQ.v.pdf.gz |
| FileSize | 367511 |
| MD5 | 8D381FAB94502DB4822900836ECE8179 |
| SHA-1 | 363990D161B19EFDA77E3BC784734D47499CDEA9 |
| SHA-256 | 8B9428C130CA2DCE30B3BAF5F46BFC626640D9740A01769184389768FBAA8BB2 |
| SSDEEP | 6144:+fZPZOHS8E3o+/0+TTWrWjpSX4A1r5qaqarQH3UYSAg58BYJu0U044rbhuSziMok:oZxOHSh35vTqrWcX5r5brQXU3P5jTUSB |
| TLSH | T17D7423B85D7D72BB1B72625219CBDF07E232DD9C94D214E0F70544B8EAEAC5B8B060A4 |
| 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/Reference-Manual.pdf.gz |
| FileSize | 1646683 |
| MD5 | EF9C85A23D6B174C18DA49D23B87715B |
| SHA-1 | 4378204542CC2B9693AE7706CEB6BE527E6858E7 |
| SHA-256 | FA5757A873ADE9AFB5B7ABFB5630DF1525E2359965AD7114F4668E999233AF9D |
| SSDEEP | 24576:9f6+vvQPjeVu1YTt7M2EYRoSfZVJ2Bb6wQ520Lmy7tBcW3vsE:9dPVIY+tYRoMLWmRqIrcW3vsE |
| TLSH | T16B7533903AE4E44324BADE70B7D5FF10BD3824A63BA6B97C4B171944D70A8257EC189F |