| Key | Value |
|---|---|
| FileSize | 20357464 |
| MD5 | 031011D5ED851DA5DCA72C37F344000C |
| 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.9.1-5+b1 |
| SHA-1 | 6AF86BC82EC19772A938325A639C203C3B161A00 |
| SHA-256 | 934DB2F8CC01B684514F750AAFBEBD3F76CCC83E8E7F9985F91E7E52EBB06A7C |
| hashlookup:children-total | 2329 |
| hashlookup:trust | 50 |
The searched file hash includes 2329 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetFacts.glob |
| FileSize | 90216 |
| MD5 | ED13BACBF40215B27D6A563A93102281 |
| SHA-1 | 001181BE688980121F7BA73927E0BC609F5ED602 |
| SHA-256 | 71892A6DD487929060A351B489D2C298B1B559BFC2A59BBADD8F8C5157F9E591 |
| SSDEEP | 1536:4u37bL44DVsOTywvSIXIl0iXpmSmXmXFZsfgLqeRiW5iWQ9vDtSydyVZSCClPnG6:4u37bL44hsOTyV0iX9ZsfgPph6bwCjV |
| TLSH | T128938CCFB259E5B22D8FCF675F050AB28D5601FBB5E210A47E4FC7FA39A90C505049A8 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_abbreviation_A.html |
| FileSize | 20442 |
| MD5 | 0B3448918F85DCD43A71D41B74DC42B0 |
| SHA-1 | 002CD2866D4F19E7F9686BAE0C93CCA32616EAF6 |
| SHA-256 | FFDC034C002860E851BBE7DB830EB14AA4B5EB3AA7658C426B8657E889478152 |
| SSDEEP | 192:KpWEMfmjnJPRJV7lQs/JLBVxhp6tEo8/3QxIVCWiy6lfgnPXnnRdbbU:0VBhxE5 |
| TLSH | T1A4922B4614D2646E52597A2E4AF47DA962F30BB54B243C04EF9FFD7FCAA63D0120D283 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Ranalysis1.glob |
| FileSize | 314189 |
| MD5 | BF990FFDAC7841758CC0BEF312EB23C8 |
| SHA-1 | 002E1E047B1908A952247D407118C05EBEF4D707 |
| SHA-256 | 9121445E8038F0B4FE6BD22A9B02A8DE75E39E169E7081A1AF9915B7B24250BF |
| SSDEEP | 3072:XdlNpZ1wkIA8qO//T14jdTljAz8SKq3atNYs2++Su1p1EsuU9uUDCC3z+vBJDbsN:E |
| TLSH | T15964CA3F048A8237D95B8CBAB3ED3377BA3B8946594F28D1D74E95985C91928005FFB0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zpow_alt.v |
| FileSize | 2711 |
| MD5 | C331659772E738D43AA2A8F6A432675B |
| SHA-1 | 004653DDC3A09D0A340488EE25F89E580FE8FE46 |
| SHA-256 | E757FDB25821EFBDCA3891FA6C74D81AB53C9D154430FC62C8DF5991D2B9EC20 |
| SSDEEP | 48:eDG9TqcNExg93vQOKGv+PNlNSvW5BVW9Ri7YJp7YJX5rpkGfT:eDCTFAIvV6HynjOXrPT |
| TLSH | T17551440759C40F23278F966E1E8390C7A915559EE1F1E718F4CC7229AB8F41B1BF01B9 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/Classical_Pred_Type.glob |
| FileSize | 5917 |
| MD5 | F5C23B508CBF3665289C17F6A577E759 |
| SHA-1 | 005921905EFEACB2B2A753637B6A1D531DA33885 |
| SHA-256 | A2884990965844F1BF56E8122BF0C1A94620C4C8C5B6D62FCA6D134286EEAB51 |
| SSDEEP | 96:HwVBLayhDSSToiCogFHwwMBMBg3icorpHybtouFfBJQSHwuP1GBCuhGItCfPi2IZ:HwVB5noiKAyg3oHotLxwKUCStCC2pg |
| TLSH | T16CC10E29ED015CF41FDB0D768F6023A932B782447F4A132069AF4F9E1DC5D5C25A9F29 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/QArith/Qround.vo |
| FileSize | 43934 |
| MD5 | 229BF30F44A7F9A37CB18706A1D1F25B |
| SHA-1 | 00943A9735F4D8F859B4AE4332BE299D890373BB |
| SHA-256 | 92454B86FC9F7EBCB2A51F7696E8B4EC00592A8280B1278B8CB88405264A0C16 |
| SSDEEP | 768:seLuWi9M2n/4VBKUakhbjlQohopPYSWjp+Lbm/fwcReqpfmg:seLc+c/NUhh1RwYSWdsbm/oclB |
| TLSH | T103130852D111CBF254BACF74AA349084E0064E8793B9272D0938466DFBEF9DB2DF814B |
| 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.setoid_ring.Ring_base.html |
| FileSize | 1335 |
| MD5 | 60AE13B5C1B198147B1DF4C31E8FB9AD |
| RDS:package_id | 182052 |
| SHA-1 | 011F9A6199D2B90932D0A4FD3C68522757632BE7 |
| SHA-256 | 9D3ED0542CE5ECF5622F255770167BDE04805A76280D46FD00ABAE342504A6AC |
| SSDEEP | 24:hUdsmIZ5fsplpoxVHpiK4bUbBRXmJHnYeRYJCRXNHjJaywYJCRXNHjXyXYJCRXm3:TmIDEplpEkBbUbKYg919w9+XGpqi |
| TLSH | T1272149A4A3A2593B59F28AE201E9B728F0C14A0BD0D54844F2FD57E3579EE50F0214A7 |
| insert-timestamp | 1679425894.0442767 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Structures/OrderedTypeAlt.v |
| FileSize | 3110 |
| MD5 | EA123B86D05ECFC45C88B0B06CA52FB0 |
| SHA-1 | 0121652D27C66C0AEDB6B6D31DB617466A4DD426 |
| SHA-256 | 9575BDE96812B2C845A6978AA35D84365112D325F661112D6F032541EB96A27B |
| SSDEEP | 96:eDCTFA6CGgktDOATt/I9N9z4pgLUkHqD/5Z:2Chqk5OAZI9N9zAg1c/5Z |
| TLSH | T15251216478CF0F13321FCD7AF79164C9A505CA4A75BF6B84B04CB564170F9A773A4A84 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrbool.glob |
| FileSize | 257842 |
| MD5 | 0AB42E2C437731F5D49874CD4889ED48 |
| SHA-1 | 0129B07489DEC136CF119F7C8150A968C3985E13 |
| SHA-256 | F5CFAC145E351DC4A7A6C6DC65B65CA2F52CAD550E1EC485149846C0F246F74D |
| SSDEEP | 3072:NRhI7Gv7c6eoohmymiH/kSk4bX/aVxdXzdkYEyuJnXioYyFcAW6yZz3DJwT4K7sJ:NgXSVxd1EXeyLU9+BLM |
| TLSH | T195446778D245853DB76A0C3FCFC733D57A6B2087A6CE9961A97FC9F5089C21C884BA11 |