| Key | Value |
|---|---|
| FileSize | 473720 |
| MD5 | 512439FD435BDE2A002B0788B053B4A0 |
| 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-2 |
| SHA-1 | 6BF752FAE086FD79AF57D3C2CD3DC8017CD66CF5 |
| SHA-256 | B624112BA962DA667950A36316AF845F2A5FD205617941E772A238A538A6A89C |
| 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-Manual015.html |
| FileSize | 84526 |
| MD5 | B24A7BDE636F6272841F76D4ED7E73DB |
| SHA-1 | 012DD8FB190CCDF1A1B9605813C3B6889A483DA2 |
| SHA-256 | 6D8BF8DB22E06FBF72994771BEE749F03C636181EFF609F6917E2BA6997FF706 |
| SSDEEP | 1536:FeRhMouxggNEDXUoXEOkOuoXOoXJOMgoXqOkOV8XKoXzoX1WXn7e3eJemeJeKeuK:ZUH8 |
| TLSH | T16F830D52D77B181060F9DDD9F4EF676150A01B1CA24E1821A32CDE7EBCEE837368529B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual003.html |
| FileSize | 239012 |
| MD5 | 6B215824553AD99FAACA5B97FD6D46EB |
| SHA-1 | 02994C8CB53CAC0EBE95FA13ED9FEC441BF14DCE |
| SHA-256 | 4DF829183811F282820C3A85D9785F31E1C377742CB03918AB1205E89DE98A2C |
| SSDEEP | 1536:q0IR/YVeYSX58X5O58XhoXqFOmoXqOO68XvoXmoX9OOYoXnoXuOOWoXAoXVgXvo2:q0xVeYECfhCu63VkT |
| TLSH | T16634E281D77B0C1461F5C9D9F0AF3A6150904A1CE78E1821532CDF7ABCED87A3A9629F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/tactic-index.html |
| FileSize | 30765 |
| MD5 | 7F283F7E21B9A26D9786011412F8D7EC |
| SHA-1 | 037216B86AE19AD1C779467E627B8D5B5C00C1DD |
| SHA-256 | C52ABF80E3AF3F46B812178B54D33896BDC78B913BBBB971E2B3117DC0BD683E |
| SSDEEP | 384:5mSj8OGGECySWoHoqSOskO7BDAJjcA5yXM4NpYY2gaSuqCU9U9a2UYjNK9K/vK0j:9WTGhvVHzwWd |
| TLSH | T1CFD24A01C24B687CD1F5C2C198972F1E36D3295D936E280A16A84E3EAED6DF4356E07F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual008.html |
| FileSize | 121351 |
| MD5 | 7D132978007347113876B2A83DEBDDD3 |
| SHA-1 | 04510B0E14A44D8EE5839140D53AAF5EE6B4EF6A |
| SHA-256 | 691D333E70E63BDDCA3425B1A56EA7D0A8F9A359594439445736BDBBE5282711 |
| SSDEEP | 1536:hXtDe0eceJede0e6ePe0eqebe0eceJeEe0eye9e0eJeJede0eLe8XrHeke/eleJv:XjXAELPid |
| TLSH | T1C5C33581C37B181560F6C9C9F09F6B665091161CE34E1811637C9F3EBCEE8393AA52AF |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual023.html |
| FileSize | 15417 |
| MD5 | 833B844063CBBF5335B995383DD8033A |
| SHA-1 | 077D039176C85F88C04E16487B529113AA5FC9A0 |
| SHA-256 | 5EA730F5130B6899224C683FA9CC31675FE9E55DF72186B275FD875D62C4DEEF |
| SSDEEP | 384:uLpARs1jaYEdI5ZX38XdqXFXOKQesegeCe0eJe9e8X1yeVXnOXOSOuQesege0eJS:CQ5I5ZX38XdqXFXOKQesegeCe0eJe9ea |
| TLSH | T1A8628751D36B192560F6DDC9F49B2BA160900A1CE34E0960A77CCB3E7CDEC3236952AF |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual001.html |
| FileSize | 9735 |
| MD5 | 6A04A963DB6BF6E7741AD201FA8DB3CE |
| SHA-1 | 08716F625D9DF4406C8E3ECBCDEBFA81C1827896 |
| SHA-256 | EEAD6DC1221813498080C6E53D31CA11842DCC80C5B26224568D10F32E19D2AC |
| SSDEEP | 192:29kllpGlcHDiJ8ECzroWHnM6TYD0go9NI8oXQ:2a7GvJ6FnM6TY982Q |
| TLSH | T1FB126321C3A6163A91B342C4E54F1FAD72964629A32C0C01177C493E66DAEE566F33FB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual010.html |
| FileSize | 517661 |
| MD5 | BEB4CB0593DB898D37793D9AB9DBE0B0 |
| SHA-1 | 0C9A92D3513713E824BD06845991B0E071CEBA93 |
| SHA-256 | 7015A8FBF57F9B92FB9A5D3C58A084D31A7EE33936BAF81DF9C73E434DFB97AB |
| SSDEEP | 3072:jwy8B+02mxvVLrCgDhiK6aCyy9p5xPGizu1w25VbNawiy:Uyt9MLrCgDhiKjep5xPGiCzbgy |
| TLSH | T152B4AE81C33B181560F5C9D9F0AF676554901A2CE34E1821A36CDF7EBCEE8393A9529F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-doc-html/refman/Reference-Manual017.html |
| FileSize | 71278 |
| MD5 | 9F0305E3BABA27C5A6E66D32727FB7A9 |
| SHA-1 | 12865ACD96F2EB55B260B9B6C841192F34000307 |
| SHA-256 | 87412CD2C1CC70661BACE3133F2FE5CAD3668FB1FC43043478DBE8FAA8DB9854 |
| SSDEEP | 1536:SSrHpyb3qyNaPUP6CeCayWPWDPPPpP//FAsXjQh6UlINM2Pdv8HM8IwBKtuUaCcO:SSDztiuP20S |
| TLSH | T177630C40C76A592660F2C4DAF19B7F252190861CE34E5D012B7C8F3EBED9C7136A639E |
| 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/error-index.html |
| FileSize | 23429 |
| MD5 | 951F85D7C7FF4B44891F7D1A87BC23EC |
| SHA-1 | 2A010B304CE4FE904FD8F8EF33BC8BD07D31B2AE |
| SHA-256 | 272BCE3586857DA0B88D2F4F52D3D8E6E9CF20E82752CCA3C6223792CC44A643 |
| SSDEEP | 384:JISqddIEuNbV9f/pCqvbbbh9tgp2gGN0kJZxj4+t:uj49f/pbtXNj9h |
| TLSH | T1D4B28D068343A43A82F64381554B1F1E3BE364AE633D59090678463F68D6EF9BD7A07F |