| Key | Value |
|---|---|
| FileSize | 20355600 |
| MD5 | E47B20C16ACF06BE3EE7207CF39BE3F1 |
| 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-2+b2 |
| SHA-1 | 1F93539BDFD79358DC0EE7FEA0D810E952071720 |
| SHA-256 | 62D6D469891037EEC216B3BC15DAF1032DE00687CE4C582D6F3768EB17956DE5 |
| hashlookup:children-total | 2328 |
| hashlookup:trust | 50 |
The searched file hash includes 2328 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/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/share/doc/coq-theories/html/Coq.Classes.CRelationClasses.html |
| FileSize | 80597 |
| MD5 | 22484B0F28ABACF09109CBAFE15E41C9 |
| SHA-1 | 007E8773809A4C986493F72A7ACEA7AD20747503 |
| SHA-256 | DDC3F5CDB32BA0F587CF66552E55672A86A78D256A0C8B2F0F65B7CD45753291 |
| SSDEEP | 1536:1dJhLSkH7D7S7Db6L3M29B/lM5L10BVtLaWeWM/hXxcCXxX8XXd+:lBVJe7XxcCXxX2Xd+ |
| TLSH | T18B7303D843A228778D738AE647E95B25F8E10E49D0C54C08F2FE17F626CDE64B586837 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.rtauto.Bintree.html |
| FileSize | 79440 |
| MD5 | 31FF342B2432E6829880A697B8EB99A6 |
| SHA-1 | 009CD453335DDDC4CCD0BA19ED806C1D469FC80D |
| SHA-256 | 723B5A3A24B93D191AC008917083DE00C0B0CA7B5A22F24324BDF3F718B16DFE |
| SSDEEP | 192:ZpGmy9KjqCXJsY0OhzTyCAIH5nkA8pR6Rh9tq/A0WVDcHJxgLfqKAXUS0QvO6+wB:ZAppR6RqNWVykjq8uQqQAGqjw7LZ8 |
| TLSH | T14773E5E487A1293B8973CAFA13F96725F4E0994DD8855900F2FE0BE706CDF21B552923 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.Structures.OrdersTac.html |
| FileSize | 86364 |
| MD5 | CC9AFC0837DC9C40B143B90BF2BEC60B |
| SHA-1 | 00F07B858133348423E5647461A75A7FB4F2B1ED |
| SHA-256 | 5E86C1CA6291E19DA622B1261159B6D4131BCD3A94BF7CE7A629567D262E9D33 |
| SSDEEP | 1536:42RVsfkaVG22xWYT2Ty2Yyiv72sjBjzBu+Qcue1fpn+ccJxAiydrRJ+AiyxiodB8:vi |
| TLSH | T1BC83D3D853A2683709738AEA17F95B25F4E04989E5894D10F2FE42FB03DDF34B652827 |
| 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/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 |