| Key | Value |
|---|---|
| FileSize | 31970270 |
| MD5 | 99E74F8C527FD9EA7703B6998301604C |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.4pl3dfsg-1 |
| SHA-1 | F6AE82FC93D9B39EB1FE8F0587EEC3EBBD26A300 |
| SHA-256 | F9F68FD1932A76BEDFC29CD4C79138C434C165DBAEFC7BB65D042AD5E55FDA6C |
| hashlookup:children-total | 1228 |
| hashlookup:trust | 50 |
The searched file hash includes 1228 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/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/lib/coq/plugins/setoid_ring/Ncring_initial.vo |
| FileSize | 164409 |
| MD5 | 4C3F118426A337957E826F2537C0D2EB |
| SHA-1 | 00BA8338D9262940F555F4110187260CE6D698A2 |
| SHA-256 | B5CE76B9F423A2AE455C3B0092853F7E847563ACF7D5E96F017666B808804482 |
| SSDEEP | 3072:yPy0YFX2N2qKXwbCx/34LapkRUtLTy3cmHlPY9zVc5:8cmcjwGNUapkc3mHlPX5 |
| TLSH | T17DF3B531DE1C9425C57F887A3FEAC6CA63A021AC627536FF295C924D8EC308B35D1796 |
| 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.Rational.SpecViaQ.QSig.html |
| FileSize | 94881 |
| MD5 | EC12F1413FD47FCB8238127605C8C878 |
| SHA-1 | 010D0D569D39A106D5E984A895A9FCFB10C3B7D3 |
| SHA-256 | 8DB349B9B1CAAADCC0F524567F24928D17A7B592F691B2028E5B3CA5AD1FA9E7 |
| SSDEEP | 768:HG5/3wH6YTZqtAVifOo54P116p+hzZFDZF/Z9ZF0ZFaZFNZFPZFnZF7ZTZFBZVZo:L6YPr6p+hwEypj |
| TLSH | T11293E8E181B2442F457346EE0ABD5B2474F05E89D1449C10B6FE46FBE38EEC53A82A77 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/ZOdiv.vo |
| FileSize | 18062 |
| MD5 | DB54A7877A2FABFE18F13223C5B6FE2C |
| SHA-1 | 010F91EE56CEED0EB86BF021DAF69F0DAF24D8B1 |
| SHA-256 | CD5A24241D3990CA581D735BEA269FF2A4C445797FFB8CF260112806661D3A2E |
| SSDEEP | 384:G9Z1QzrU3Jbi6ls4eD7MIbZfg/sp9S7+Zv:w1Qzo3I2s4eD7E/syq9 |
| TLSH | T16482A5169530CFADDAFD4DB63E7D2188404405554048E7AB5A0BC35EFE9FEBB22B628C |