| Key | Value |
|---|---|
| FileSize | 58825578 |
| MD5 | A5F1194ACD8FEC3A362D063AEFFA5F1E |
| 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.4pl2dfsg-1 |
| SHA-1 | B90A72D7A2C4A417C082F30DC3D1B67EA41100D0 |
| SHA-256 | 62CC4DC51D7D22352B46791C86F2DF1B81C177EB88C09590686D53EA4C44CB91 |
| 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_library_J.html |
| FileSize | 18044 |
| MD5 | C8C9BE5C926B560264C5CB16A0D2BBFE |
| SHA-1 | 00478C48E03EAEFFAC6ECF2603A4E51F4E8603BD |
| SHA-256 | F06BB8D205C18716B89CAD9A8EF24EA55CEA1EFA753900CB75858F931BCC2328 |
| SSDEEP | 192:HjpWEMfQ3Qxu6TyN7JLu8lVijnV+EFWVJPph+JV72QsLr:HVKmFUof |
| TLSH | T1BD82CB4614C6646E42597A2F5AB47CA962F70BB54B243C04EF9FFD7FCBA2390120D293 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/NewtonInt.vo |
| FileSize | 176420 |
| MD5 | 8BBC3279B47CE092F5AD1230A31606A2 |
| SHA-1 | 004A6E3024F5DBBE96AF446CA9A5EDAD57E9D5B5 |
| SHA-256 | 96C897215191EF2D6A719DA8EC40511907D0CA5284DBF910764E12CF3D593F0A |
| SSDEEP | 3072:zGUCuaT/etGV9p/MkV+5NIFhHQIQO7DxAqi9jZMCF785U1jpH:yWmcPNOPKz9cUlpH |
| TLSH | T10D0451B58E388D3AC4FF4E79F6F6CA4B41915189566332FF0648D09C6EC729722C86C9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_instance_W.html |
| FileSize | 44400 |
| MD5 | DECE2B4F2C7EF40AE267F80B2CE3171E |
| SHA-1 | 00B78ADEA23DE1ACD9BA4032F523C042680FC77E |
| SHA-256 | CC1D734AD59DAD3BE7987A3217C860C201B70EF64162A9552107C10279A2802A |
| SSDEEP | 192:HjpWEMfQ3Qxu6TyN7JLu8lVijnV+EFWVJPph+JV72QsLJ2FhF9LRf1Blhl9FthEc:HVKmFUomhF9LRf1Blhl9FtdmFUoq |
| TLSH | T1E413044614D2646E46597A2F4AB43DA926F30BB54B203C04BF8FFD7FDAA27D1020D297 |
| 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/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 |