| Key | Value |
|---|---|
| FileSize | 32177364 |
| MD5 | 42CAD4525A1F78C1ECDEDCF57E6545FD |
| PackageDescription | proof assistant for higher-order logic (theories) 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 provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 404CB5B9362AB0062E4F15B9C799D239D70215C7 |
| SHA-256 | 9720678A07E98B85FE8DD94270B1F550F3AAE7E090C8C358E88DB4037D16EAC6 |
| hashlookup:children-total | 1229 |
| hashlookup:trust | 50 |
The searched file hash includes 1229 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/OmegaPlugin.vo |
| FileSize | 627 |
| MD5 | 80CF5D62263F9B85140E06D2F542A873 |
| SHA-1 | 001B0C59C0F24D8A58E34EF72BD70AABA2A342B1 |
| SHA-256 | F3DE332CCF6BB697F6166923B99611EAD38E180D999BCCFCDC70FA9ABD8BCCB2 |
| SSDEEP | 12:G9EvoPjjA/cIQD7E8RcHNNCok7uRPsFPoyXIC8lP73lzQCcSXtiEH:G9rPhIQD71T5oblVHF |
| TLSH | T16EF0285DA2241962C8DA5578E33AB2C89CDC868202A5BF0D25D4934A9D9E46F133E229 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Lists.ListSet.html |
| FileSize | 73798 |
| MD5 | A027A19B4943CFE2815338CD19BD3A98 |
| SHA-1 | 0021EB03A9BDCD809688DC7D457A202329AB2773 |
| SHA-256 | E5A962C2CD9602105C971109095D78600BCE4435C7A303E832ABBC8B406FD991 |
| SSDEEP | 192:HjpEkSbt+q+Fv2ViRHTgMmvRw21ialKlnbkuNA/NjdlAqj3NNq+GlNDybLTDB2sN:HVEz9kTgMD2Jfbp0A |
| TLSH | T1B473E8F881B1582F85B38AD912F86B34B9D0C945DD058C10F2FD46FBA6CDE843A45EA7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_inductive_H.html |
| FileSize | 18120 |
| MD5 | 9E9FE952C2FDC26FF9E153F9E8CC446A |
| SHA-1 | 0032F1891D2C552BD612B8ACEB0806FC13FAF25C |
| SHA-256 | 55A115DDC12D8A806506AAD8A8C027554E718B548EB9448AF7F9B5DA9D219244 |
| SSDEEP | 192:HjpWEMfWjPJP1JV72QsbJLyVmh66nEJ8N3QxqV+WByNrhaF:HV1loVCHaF |
| TLSH | T10982CB4614C6646E42597A2F5AB47CA962F70BB54B243C04EF9FFD7FCBA2390120D293 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Multiset.vo |
| FileSize | 23115 |
| MD5 | 65918E0F8C7158F0E4058B190D21DE0E |
| SHA-1 | 006B5C9298D840755A8B11F2AF49CF0EE81DB190 |
| SHA-256 | 9817CDFA2BA6D7C586415BB600F31FDC12376BC33380C8A3159AD64515D6D850 |
| SSDEEP | 384:GQhTLvSMbLwMmNQvgZYtow6OoqUwi2r2KFFp3afm55YUF:VTL0yuYMGUPFKVee |
| TLSH | T10CA2C63AE5CC5C61DEEB5CFFFBACE382A2444589433AA3D4498C2713AFC068B451D496 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Logic.RelationalChoice.html |
| FileSize | 4296 |
| MD5 | 560E0566C809E3EE3700836A513AAF64 |
| SHA-1 | 00B9A86F603C47E97F586FB311A3D00CDC71627B |
| SHA-256 | D82078FF5D02FC059827F845204BC2AE2E69156A0484E8C6506D19FE1FB63C08 |
| SSDEEP | 96:9bJjpE3bBObdKUCLduKRsfCNQ5i565KjdddesjKUC+QxdddddeR5S5i5JNKR+NtJ:HjpE3dV |
| TLSH | T14A915CD58171992F56B346E602FAAF2974F04C14C6054D10E3FF4AFAA6CDF443982B67 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.FSets.FSetBridge.html |
| FileSize | 199386 |
| MD5 | 6D1F76EBCDC11FDFA65E5772FCA51E98 |
| SHA-1 | 00C4B3EB0CFAC8660940319ABD8999CC70D49D22 |
| SHA-256 | FED42579B0722B29516BC54FFB4E2681FD70D8AF441F7C25DCC6B8A4F666CAF7 |
| SSDEEP | 1536:T3w4j4W4B4k7s4W/9Do4VEs4uZ/4TZlglb4ZI4b4b:Tt |
| TLSH | T1191414D242A1582F467B8AE703FC6F24B0E18D9DD5044F20F6EE46F6A2CDE443545AE7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/ZArithRing.vo |
| FileSize | 22557 |
| MD5 | 430BEC1DA70A1F79D048146926BE0354 |
| SHA-1 | 00C99391BF837CF8604CCFBDEBCDA698A22DBBCE |
| SHA-256 | 609B503D0A8192FF6FD251AC8C14822D2EFCE8B55C16309334BFC1C852607823 |
| SSDEEP | 384:GRkt5D1QzrULfqDZJkil5mOYdKze9Qmr6+P0KV/PyCRu:kw1QzoLfKZJkieOYdhbW+P7V3yT |
| TLSH | T1DEA24323D1604D691F7509FF2F3CA253C90409409054923ACD8EB79BAFDEEA2132A5FE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rdefinitions.vo |
| FileSize | 17038 |
| MD5 | D35B7009940A0F2E9C3E468B8600782F |
| SHA-1 | 00EA3076A9138D379AD3CC6142CEBA94725ECB06 |
| SHA-256 | 798C6795274F2EB7D56A9F92D5D90115B7C7FE4353022DA01C78DBB7219E8190 |
| SSDEEP | 192:GzFUV81jvj0dMyLrMnE6K2fTVLypCjQPNYJ1kiuMRnNlj+7QkB+lQ7S6tPFtixAT:Gzh1QzrUNjZ1kiJGQkBsnpxAG41F9nHx |
| TLSH | T1CA72C618BB65AD6EDAFC4D393E7C0499810804C4115CE32B5A4BC26DED9FFBB253428D |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
| FileSize | 269 |
| MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
| RDS:package_id | 182052 |
| SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
| SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
| SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
| TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
| insert-timestamp | 1679425887.2617948 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_global_Z.html |
| FileSize | 529056 |
| MD5 | 502389BC8E3D987EA1DD1973C4541052 |
| SHA-1 | 0103CF0271CE79E73417DE91E1CCEC81C47FBD3C |
| SHA-256 | EE201340E9B03C68E099D29E1C8C1A2C1CCF3E2A42C17BD97BBCA0CA9FA2F202 |
| SSDEEP | 6144:e3vLr9L7kLF8ZLF1LFhLFrLFFLFVLFZLFpLF7LFdLFpLFlLFZLFWLF6LFVLFhLFY:eEs2CUKMEPo8XG |
| TLSH | T16DB4171411D2536ECBAE073508796D6C71C60BC2AC842DADA90F6E57E6A3F0EB6F45C3 |