| Key | Value |
|---|---|
| FileSize | 462740 |
| MD5 | 7CC59BC8505B5418704944BB8171ECCD |
| 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.6-1 |
| SHA-1 | 822DF86E6B488955ECD75D3E62647048F10369F5 |
| SHA-256 | 5FF5F9B3AC2136E450CBB61573CCBF90CB5B8C7DD084774839BF3C4DDA35E588 |
| hashlookup:children-total | 55 |
| hashlookup:trust | 50 |
The searched file hash includes 55 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual016.html |
| FileSize | 29980 |
| MD5 | 043EF5B071DDC2684B8DF2C4A79DBD72 |
| SHA-1 | 034D19FD3A147FF8314D99A2B7DFB2E94BE1561E |
| SHA-256 | E3C738C68D0B90E07B7077822C285972E52870E0A3A364B9E7F4F981A4C45D43 |
| SSDEEP | 768:l6TIcGblksprQUJJrT6cpnMUESPkRWDxn9NxEO5jIPnim/hpBDK/5k8AwGHDsatv:qFgaUcE1tWRq2sxL6gUvpJHmhsdQ6GI9 |
| TLSH | T1F5D2E911C36A9819A0F6C5CEF65B7F1A2190830DE3494D015B6C8F3DB8DDCB276A279E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/RecTutorial.html |
| FileSize | 186057 |
| MD5 | 511AAA363AB68761E4C0D44A515F68AE |
| SHA-1 | 054DC6EDBAC89B97AF887F871BDF14BCBC5CB27E |
| SHA-256 | 05F1E33E54E9A15F25915C0C9A8D1FD3996994E915649DD9B039547D69EAA954 |
| SSDEEP | 1536:6w8hPpCseee7zeeerise1HeeZeee7Zeeee/eneeeee+eeteeeeeVeeSeeeeePeej:R9kkjaDB8BZNma47Hvm31XfU4AxBkZ6 |
| TLSH | T14B04CA80D32A691240F3C8C9B14F2611A5A04E6CD3AD0C5177BCCA7BBEDD8757692ADF |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual006.html |
| FileSize | 251395 |
| MD5 | 2D3B934A0D6C37437F1B23DB837AFC0C |
| SHA-1 | 0A765E985502B33739FA952E33769EA62C832E68 |
| SHA-256 | C14EB0F9AC6C2399EAE3A43768005FB376F1329BC9C595E8A5D87A4169ED130C |
| SSDEEP | 6144:mP2uP+z4nX/VuaGIY0AkcEzP1EdmxFF2QTIkC:mP2uP+z4nX/VuaGIY0AkcEzP1EdmxFFc |
| TLSH | T15734B541D37B1D1210B7C8D9F19B2621A4A00EA8975D0C116BFCC6BF7DDD8B67A8268F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/option-index.html |
| FileSize | 14898 |
| MD5 | 3EC26D49B617DDB11DEB81B4D653172C |
| SHA-1 | 164C1493708312B4BC30C61EDCA3BC8DD3CE7EA0 |
| SHA-256 | 0361A09FD0AB682E35A6073BD9E4827DCF82FD2E08F151263C9BD9DB6A5EB9CE |
| SSDEEP | 384:Z5f4SC6UTvptNuYktp/YgKyNACzT5jYj+f/v+yPHGttlJGz4AHG9t6pobOK3Jp5t:fjhdwHvFnHv |
| TLSH | T16162B910834798AE96F282D1A4572F1A32F32A5D931E180A16784F3EACD5DF4B56F07F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/axioms.png |
| FileSize | 13848 |
| MD5 | 07BBBC75F06380E1D25F890B2B693C24 |
| SHA-1 | 16A1A2F5A9EAFB316B47440CD5C1F0C17678B61F |
| SHA-256 | D30C4672BD138978F627423236E14AE2D22338093DB7FFE8B97B8480ADA191BE |
| SSDEEP | 384:e6q/8lS90neJGiVFqg2upFlz9MO0/GQS+NqzOM13:RY//GeFTPMO0uZIqzO+3 |
| TLSH | T1CE52D00E97B14B0D93443578107F45C24B9803D5D1F90EC09AE26DA5BCB3A9B5DEADC7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual023.html |
| FileSize | 65765 |
| MD5 | 7439FAF3BEE4CC4CC4BC04EADBCC11D0 |
| SHA-1 | 17FDA79B4806ED6548BBC561BF8836190F56E9BC |
| SHA-256 | C0D47F089C1EF4BB47596BFD6CAFDC2794B1BE34F1871C6041DB8B50CF5577F6 |
| SSDEEP | 1536:j5c7XGhO6OHDXJOjjyXhXHpDXRsOoXLKXJX58MXg2eEe4ebeJe3e2eEe1eTe4eQg:fOwSZ |
| TLSH | T15E530A51D36B082560F5DDD9F0AB676150905A1CE34E1821A37CCE3EBCDEC3A3A9629F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual021.html |
| FileSize | 104565 |
| MD5 | 824BD236377A24C7830416928C7073DE |
| SHA-1 | 27AEC3C79C3688E395FB7924FAC06DAA088E264D |
| SHA-256 | 80F4260FB3E54D691328FC6258DA8A2021112E75DD1A821511EDAE35583A6B02 |
| SSDEEP | 1536:jyJYNHJgDotRcn5DfX5XHXBEe+eMe+eXeMX4XHXZOROhEe+eMe+e/eMXwTeleMXH:j4DoT |
| TLSH | T1B2A35D81D36B181120F6DDD9F0AF276154901A6CE35E0C21A37CCA7E7CED83A7A8569F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/jed-common/html/jed.css |
| FileSize | 1830 |
| MD5 | C4F80BB41DB925B14228A72E767922DC |
| SHA-1 | 2C519F740A389FF8C52526148C777778FAD4A3F8 |
| SHA-256 | FF4C9EC35F852F3BB174C6F7F1267992F2CBF9E9AB817F22839521169EEE7185 |
| SSDEEP | 24:kUUEa3DT7b5Pu4LVo/yIvCI5SS/UzeZHzep1IqeBV5Duunlx5bePfeeHC2yEWQDn:HVa3xvxIP5P/BZHyp1yBKP+P2yEztV |
| TLSH | T18331AE31D9E3540CEC77C633DEF0869CB2686D1ACAD7C23BA4A75722C95E2C809716A4 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/changelog.Debian.gz |
| FileSize | 1155 |
| MD5 | A76BBADF50BABED7A743704DD44A4388 |
| SHA-1 | 2DA3DE9AA7010794CB2EFEA91C14F5DCACD4A826 |
| SHA-256 | EEAE301C24A0A62A1AF090A5519524B8763AD166497A1547626B9E4ED94FCABB |
| SSDEEP | 24:XHjVB3rt634HVgX+VjNaCNIu9e4Ny/yYjhlWDY6/uqG4B05TPr82GSZlr:X5Vt634KXijNnRe4NsyY9lKvOrZGO9 |
| TLSH | T13C21A7137DBD0389CA220EFE241B651772D4CAD3897E0A4BD8E984BA6826D4B81443F4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual014.html |
| FileSize | 153131 |
| MD5 | 219DEEABAC679A736A3F9ECAF01A5654 |
| SHA-1 | 2DFA38DCCBD198129EEEDA5459FE106A5AF0B0A1 |
| SHA-256 | AAB8DB528EF8D085CE72CE4A0D85A04F6D874456EE55429AAF494B1C73113E68 |
| SSDEEP | 1536:pXQWO/yIXq///g/f/p/Z/+XfXnQXxW3SXQWMMXxWetXq8J/XfXmYXpX6XY0XaOOL:NBgfJksC2pcP7w2daKU9 |
| TLSH | T1CCE3B651D36B092060F9DDD9F4AF676150905A1CE34E1821A36CCF3A7CEEC3A369629F |