| Key | Value |
|---|---|
| FileSize | 548554 |
| MD5 | 9632CC05FA4B726F40D931DD1350D0EB |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-doc-html |
| PackageSection | non-free/doc |
| PackageVersion | 8.6-1 |
| SHA-1 | 8AC904D680E0AC36CE1D804EB207538C415526A1 |
| SHA-256 | 0ED05F70217FD734D413CF7AE4DC0497BA466353305F46A2C803168485B64EE3 |
| hashlookup:children-total | 56 |
| hashlookup:trust | 50 |
The searched file hash includes 56 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/Tutorial.v.html |
| FileSize | 517023 |
| MD5 | 9278B487E4ADB2D72B132B15DA69F663 |
| SHA-1 | 05C26B45E20ACCC6D548CDA769754247043EE791 |
| SHA-256 | 92D6513B814B43734FD730483E15C454565A66D34BE18367C28E7E71D0E99476 |
| SSDEEP | 1536:U9eeg+eYBe3w4yeW/yjea3euX/GeZelbXVBeSeWXPhXfqeBXGXgYe+ezeTXzDeIe:U9DhiDoY8RAtvTenw4fJw7dNBzhv8 |
| TLSH | T18AB4EE52D36B081060F9DDD9F4EB676160901B2CA24D1821A76CCF7EBCDE83B368569F |
| 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/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/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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/style.css |
| FileSize | 197 |
| MD5 | 877110E5B38ABDC884CB4792E9FA68C9 |
| SHA-1 | 3307455BEA56171B4A68BF65F4E7B9A372E01265 |
| SHA-256 | D638BB97AE6AEBA2D1A90597A3FF99FFE9DC2B5AA7C4922348D773BD12EEB8B1 |
| SSDEEP | 6:GZv/yfMdNoXuAvavYMyI2QKsi/iXOf7FqZ:Ev/ldiXuAvkJ21v/i+f7FqZ |
| TLSH | T1FFD0220599C752019086E2416A94A2A01A65C2775E4AC830BC0900608F0B1B862F6128 |