| Key | Value |
|---|---|
| FileSize | 473846 |
| MD5 | 61EFD869800F952A327F72ACD00BFF71 |
| 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.4pl4-1 |
| SHA-1 | 57BFA032F7F8D165F114D2DEDA5642CF02A64610 |
| SHA-256 | D75B52A786E3650B60848D557A75CA7F6859F5C0D4ACB3F1DF3276FD2493C742 |
| hashlookup:children-total | 50 |
| hashlookup:trust | 50 |
The searched file hash includes 50 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual017.html |
| FileSize | 71277 |
| MD5 | 2E5397887DF0BCA3FA0A63CCC8FDC6FD |
| SHA-1 | 008E4C3C7B62A7ABC791F30017088213D698D9B9 |
| SHA-256 | DA2E36F07C50E156D989C3C3CAC74CB81F48AC86063EB49AA88CEFF4348C6A60 |
| SSDEEP | 1536:OSrHpyb3qyNaPUP6CeCayWPWDPPPpP//FAsXjQh6UlINM2Pdv8HM8IwBKtuUaCcO:OSDztiuP20S |
| TLSH | T1CE630C40C76A592660F2C4DAF19B7F252190861CE34E5D012B7C8F3EBED9C7136A639E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual006.html |
| FileSize | 274308 |
| MD5 | 3AF8F2628BFA971CA7FBDE7231996F40 |
| SHA-1 | 018DFDD7DA7E7A8AFE97867D52448054156DA6E6 |
| SHA-256 | 365D207D20530B7C419176D23909CF88BBA5DAF301D370E0843715EC36B203DF |
| SSDEEP | 6144:mP9t3lUF7rDJr8J9+zxEXyVkOGIG0zbDQzEfQNm82QTwoH:mP9t3lUF7rDJr8J9+zxEXyVkOGIG0zbO |
| TLSH | T1FC44A341D37B2D0210F6D8D8F19B2621A4A00EA8975D1C516BFCCABF7CDD8767A8168F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual025.html |
| FileSize | 54407 |
| MD5 | E2A4D44E2EF72FF160CD96648FB96120 |
| SHA-1 | 135C9E4605ED5BB643F98853AAD794E56A6342F1 |
| SHA-256 | C74F8B1BAB277EB206F03E2FF0EB817189324DD449950746A9AB85A16F8D747B |
| SSDEEP | 1536:ZS1kpGeaedX2ue8XKOe8XKOJ8XqOclXyOPOsbe8XyOpeQXkX9OR8XzOX8X+OXUXp:IkUezcamY |
| TLSH | T10F335941D3AB191460FACDC9F49F2B6160A01A1CE35E0C21676CCA7EBDEDC76369129F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual015.html |
| FileSize | 84525 |
| MD5 | B24A5312EF4DA259A8D62B16645769BB |
| SHA-1 | 1841D8176D0F0E7CC631CDA145C32E624D565980 |
| SHA-256 | 0C3227EDA445005620325DA561343A0DBE1ECFF9A915B218BEBAA99678EAFC51 |
| SSDEEP | 1536:xeRhMouxggNEDXUoXEOkOuoXOoXJOMgoXqOkOV8XKoXzoX1WXn7e3eJemeJeKeuK:lUH8 |
| TLSH | T1AD830D52D77B181060F9DDD9F4EF676150A01B1CA24E1821A32CDE7EBCEE837368529B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual014.html |
| FileSize | 136387 |
| MD5 | 18702B394BBB3C0EFDAAF4560CB1B5F9 |
| SHA-1 | 1A46FB6C8BB35265B237DBB9F1441D0A9064EC10 |
| SHA-256 | 2ECC4E51FFEC901696A1F53837527D70F3501E8C6B38B5AA1906F0952533AEFF |
| SSDEEP | 1536:TXOWi/yQXeiXXWZcXOWE8XXWk2X68l1XIAXVUXsOeAXXsOVlfXqXH8XqX/X5X2Ww:J2ESZI9G6B8e5VRhzbg |
| TLSH | T127D3D152D37B091060F9DDD9F4AF276150A05A1CE35E1821632CDF3A7CEEC3A369629B |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual021.html |
| FileSize | 98263 |
| MD5 | 177FFF2B5ED79664A21CF3C3C988FF90 |
| SHA-1 | 23E2C576117056DE283957E40827DBBF47BED59B |
| SHA-256 | F83DBA1166831AC1438931F6E1FE39BB5FD2999F17F3A2FED8E4576D858705C9 |
| SSDEEP | 1536:i5JyvHJgDz9lMIrR8n5D1X9Pe8XmOROR9e8XGFede8XS8XGfede3XSoXfODOtOh3:iLDz5 |
| TLSH | T1FCA36D81D37B181160F6DDD9F0AF266154A01A6CE35E0C21A37CCA7E7CED8367A8169F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual027.html |
| FileSize | 97137 |
| MD5 | 501016B9F0E0734B353BB8519F890A12 |
| SHA-1 | 240130EC9EBD9D044C82C565E30244C71CCE2B64 |
| SHA-256 | C7E94BC43B6412EC5E4A466B9D13B874E34ACF73DCF6BE9C58915158EECDF70A |
| SSDEEP | 1536:03FEB6XoUeme+eBe8Xd8XvoXzcJoXdcEQesegeuejeJeqeBeJepe8X0yeSXyOoXA:JDzgmCCKaZZmbluh |
| TLSH | T1B0935681C37B081160F6C9D9F19F666151900A6CE35E0C2163BCCE7EBCEE8753A9669F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual019.html |
| FileSize | 3769 |
| MD5 | D38C4990B541C8E0CCA707F281A9A488 |
| SHA-1 | 271FAD7147C8C120FE7E63BAAC55877369FEC44A |
| SHA-256 | BE89403978D77047EDEDC5698C1CD98D816CBFA9CD132B7EC612F030078BC149 |
| SSDEEP | 96:igqk+LScpZgLvVlBs8pSdLDoSdmC+LccKvocV:igI+IyvnFYJDhMC |
| TLSH | T1A2716610CED2652A407781C9ED476F0931A3C709FB2D8A016FBC593E66CAEF2293674D |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/hevea.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 |