| Key | Value |
|---|---|
| FileSize | 32236078 |
| MD5 | 6F5E2F2765E8FC5B1400EBC84153D63D |
| 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.4pl4dfsg-3build2 |
| SHA-1 | BAF7684191872C850165C96E973A4F0732AC146F |
| SHA-256 | 6987BFEB2BBD95AA96E4E1C8B6C8250A63AD0AFCA53BA9586288BB723E33E1F0 |
| 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/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/ZArith/Zbool.vo |
| FileSize | 34280 |
| MD5 | 07F872983B547095828FEE798BDD8627 |
| SHA-1 | 003CF3B824F91566270BB94179DC5D3A271EE6C4 |
| SHA-256 | 67F467D64745FB7FAB5F48E9CA3A62C1EB0BA109AFFAA81C236DD5F804659039 |
| SSDEEP | 768:pA1oLXwyH4GQz3D5bh8uRISUd8A6eoHSCbk7Yk5ATKFC1Qk:i1oLRBQzzBUARmCg7TeKaQk |
| TLSH | T1DDF21A16E16C9C55D5FF0DFF7E68E10F9208000C8661A2778D0A926EEFCFE9B16A458D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Natural/Abstract/NAxioms.vo |
| FileSize | 194247 |
| MD5 | DA0005289869E81FA9ECD74911D523FD |
| SHA-1 | 0077E0D80C89FECBC96EEA933552C0ADB60E1776 |
| SHA-256 | 75147216224087FB31696538F8CB0607AD1F4BCD7A7CE7CB626E7373C0FC47D5 |
| SSDEEP | 3072:lsmtBriQzqtiZLs7NZizMG0q5o7Bo7uYLxfXAf4Vx1YrcTxrZVKnZJcD796On+y9:CEBriQzmYLs7NZizF5ySlF9VUoOZJWs2 |
| TLSH | T1B714C62DB3DD1F3E68BB2C6AEAA0A77BD4C1CDDE4315B2C0C10982E5D5663A25771B01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetEqProperties.vo |
| FileSize | 954605 |
| MD5 | 138F82280E470C7D0348E8210A98B5ED |
| SHA-1 | 0083B95386B365271A674C66BDE72BC978AB8F58 |
| SHA-256 | F787501B65E86F5B8E43183BFA65C96BE8980A55E2A356A2C9A07CFEE4E8F502 |
| SSDEEP | 24576:IAeSmO4caZowaYyqZX9iTGqHTemdG0sxC/Wlduft7/Exhib:VeX3GrZv/1 |
| TLSH | T1AC15E824E28C5C5BB8BE2CE3FE50726BF2837D8913F795D1841CB2A644D329E4AD4E45 |
| 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/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 |