| Key | Value |
|---|---|
| FileSize | 413392 |
| MD5 | 8358D60136CFCC6625E45144775ED36D |
| PackageDescription | documentation for Coq in html 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 html format. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-doc-html |
| PackageSection | non-free/doc |
| PackageVersion | 8.4pl2-1 |
| SHA-1 | D960C3CA1D9063F28979783FFB3A7D06ACE6573A |
| SHA-256 | B09F0C2366C86B922D697F8B9A1790EF0B4E22C390ABF090ED964F0B9521FE2A |
| hashlookup:children-total | 49 |
| hashlookup:trust | 50 |
The searched file hash includes 49 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/general-index.html |
| FileSize | 130803 |
| MD5 | 846B13E29B8CE6A4D05531E8969BC70B |
| SHA-1 | 033FCB8C56CCF09752BC395ACED0CBDD2DEBA58E |
| SHA-256 | 49F804FC0EB236CE6EEA63BEBDA3A2B1D30A85E237ED48DCF86E3856F9783A07 |
| SSDEEP | 768:M0PaSg3k1bb8cxF2ow2kXlIXFW/FRslASP8beDkX5MViAy6mwqY:YJaP8bok2tmwD |
| TLSH | T164D35D048347986DD1F28281949B2F1A36D32D5D931D3C0A27B84E3E9CDADF4B96A17F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc/copyright |
| FileSize | 9966 |
| MD5 | F76F7F0B38BAA006C8E6405E71042904 |
| SHA-1 | 0409C68547277EB2DA5F685DAB152B185B9EF07F |
| SHA-256 | E050C0F2BB586152608A0970B49701146F245ADB503E3F747EC2DB7E917BAF17 |
| SSDEEP | 192:Hr+sksZX/22EIAt4Hzgfzt16uJcnzfqtjbG0PES0TqxMWZif:Hr+sksZX/22EIAt4Hzgfzt160cnzfqt0 |
| TLSH | T1CF22A7AFAE04037327D3D1A6AA4E55CAE31BC86E313A1495704DC04D2757E7493FE2BA |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual022.html |
| FileSize | 54915 |
| MD5 | 1E4328463F67557640E7D8BB2539CD5B |
| SHA-1 | 0C95CE322E9CFF669C52158A507568C526ED4991 |
| SHA-256 | ACE0078DE86BAD2AC45E294F2A18BEAF2EF5A856D0E96429571E4D1BF99CAE22 |
| SSDEEP | 1536:LgScsQXkoXOOEOnoXkOVjSXxoX8oX2oXVOc6XboXV8XUQesegePeJejeQeseiens:qvZo |
| TLSH | T1D5339152D37B081560F9DDD9F4AB676150901A1CE34E1821A37CCE7EBCEEC363A8529B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual013.html |
| FileSize | 227498 |
| MD5 | ED560FCD4C62C6FB16333169D5C09962 |
| SHA-1 | 1098716123917DF0073C9E3975B3CC174AF70889 |
| SHA-256 | 22BCDFC83B7137757868764A3091DC63A70A26A0369630C4373565F161D46297 |
| SSDEEP | 1536:m0yYaXrQesegeae8XmMesegeae8Xoye8XNye8Xq/etXVBesegeae7eieAeie8Xk5:Jr/x3rMr |
| TLSH | T1E724FB52D76B081420F9DDD9F4EB276190901B2CE24E1C20A32CDE7E7CEE937768569B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual027.html |
| FileSize | 96643 |
| MD5 | A61861CBFE310781CEC4FC16E58708DC |
| SHA-1 | 117149DC69F39398296374BC0A9DD72667626D27 |
| SHA-256 | C7F8F70E60D7A0EE0D7F195491F097C264C4E48812235CE757E356CA5CAC4482 |
| SSDEEP | 1536:+3MEWJXoUeme+eBe8Xd8XvoXzcJoXdcEQesegeuejeJeqeBeJepe8X0yeSXyOoXa:fozjmCCpa7ImLEdq |
| TLSH | T13C935681C37B081160F6C9D9F19F666151900A6CE35E0C2163BCCE7EBCEE8753A9669F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/Tutorial.v.html |
| FileSize | 491464 |
| MD5 | 6093713276D7DE60FA3E1B49E66CC37D |
| SHA-1 | 121B3544147CC95E87549152B29437598A0FB949 |
| SHA-256 | 33E8661EE98124B466912672AFF82827E457CB05204235188510C91EC04645F8 |
| SSDEEP | 1536:mueeg+eYceamea3ebX3GeheTpXNBeqeeXxXXX4e3XXzeRXrDeaeJeLeJe+eqXiOI:mEwPAX41otJkMmNDexHwya9wKJr |
| TLSH | T1F5A4FE52D76B081020F9DDD9F4EB676160901B2CA24E1821A36CCF7E7CEE837768569F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/coqide-queries.png |
| FileSize | 19732 |
| MD5 | AEC9526B1AAD2122C67BDC5B5D0B7AF4 |
| SHA-1 | 159C5C90EEBB558D9F5501CBC81F8D751B66824A |
| SHA-256 | C1A489B1A6BA3D0BA4F3D5DC018B595BCC7F5E4EACF8FB4B4BBFC89B5B892310 |
| SSDEEP | 384:HK1sXzLUq/uJKHn7tPouc9T11A5yL3xoPhDr4cT1cYOuJu:q4Lr/vZPoJT11AAL3xm4iOYXs |
| TLSH | T18392D0D1DA7494668CD0FE32C78556EEDFA0DAF20503124CDD91400F49C998E7AA29CF |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual020.html |
| FileSize | 106513 |
| MD5 | 846C7C9709D951B3153EFBFCCB6ADB08 |
| SHA-1 | 17D776E9DED0A0741E423F7AF0D7F53A2B16EE97 |
| SHA-256 | 572F5418953B60DE1EA57A55989500C75A10D9B0D0D96027F9150E3FD988DAF3 |
| SSDEEP | 1536:TYmTik4tOXIoXzoXOOvoXuO8oXGOxoXzOfoXFoX30etXf8XIoX2oX/OvoXPOxoX8:EmT+tFA6C |
| TLSH | T130A30A52D77B091460F8DDD9F4EB676150A05B1CA24E1821A32CDF3EBCEE837368529B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual026.html |
| FileSize | 37133 |
| MD5 | D97AFC1100574A8CE67ECD033F25977C |
| SHA-1 | 208F123B9155A02C68D02833C8FA037584B9E09B |
| SHA-256 | 913D025706789F75627E33EF50127D3234427DE3DB48F6B771E214D002E922C1 |
| SSDEEP | 768:PZFA1X5oXLOMoXUOHoX3fXROAoXLODOMoXUOcOHoXNmXnoXqoXIXeeeNeXe0eJes:PZ2X5oXLOMoXUOHoX3fXROAoXLODOMo4 |
| TLSH | T13CF20591D76B091460F5CDD9F4AB6B6150A05A1CE30E1821636CCF3EBCEEC36369639B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/coq-manual-html |
| FileSize | 513 |
| MD5 | B87CAB0DC3BA397DCC858559A39BA33D |
| SHA-1 | 2092CD4436EABBD36391262CAC48B4204F7C10F4 |
| SHA-256 | D2A81F50D8D69CEEC5BF9BC92841812B4B316D7D5417C211A738B4F5484292C5 |
| SSDEEP | 12:KH/Aaz73XsaFK/JP6eKg9snfC/AFkaAFfrLXFKMfl8gXqhg2:s/AQHsl/Jzzde8rJKm8ewf |
| TLSH | T104F0C041F2040298F9F34540494A3E960BB788BD1D385560827F501C500DFEAB1FF677 |