| Key | Value |
|---|---|
| FileSize | 20293000 |
| MD5 | BD7D8DB9AD8FFF55B718FED467B27F52 |
| 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.9.1-1 |
| SHA-1 | 568D3D5F1261C2B4C9F051D5655CC550A815A357 |
| SHA-256 | A0C138AC30E6F32C14ADE4DD4CE73BB2C603069EFCF0016707F0E25A2093B230 |
| hashlookup:children-total | 2326 |
| hashlookup:trust | 50 |
The searched file hash includes 2326 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.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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Uniset.vo |
| FileSize | 18279 |
| MD5 | 843612953BE5334D889E5984CE660764 |
| SHA-1 | 012E4601D6135993B4FC56EC1F25774E8529BEA4 |
| SHA-256 | C8529DDC9B2AF6B03D5C4DCE0A7BFE0FFA8882EBBE5F194D1A025D9FA868E792 |
| SSDEEP | 192:QHclte2NoElNFykGQpxlfku6S5a1d5r64+S6qCno0/vUklTD5G7NKisurU3730An:RYKDikRyJVdgj/vUkLGmQU3730ANhUnO |
| TLSH | T15882A49CD35E0CB1C8DB1EB5EF24B755A35859CF223BB7DA2444833899E82DF891C182 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/Ring_base.v |
| FileSize | 967 |
| MD5 | 19C7C23D5522660FF395FD2B1F06DFEB |
| SHA-1 | 01513B2425D02631AD04BDC5B995E29D4D310845 |
| SHA-256 | 29736DED574B143310A9A3C3750FB971117E76CA1988F21EAC6ACC5623702982 |
| SSDEEP | 12:eDUt93la9Tp8T5cyXBKrxAfBvECkRr5bRGP7Q/rC3svuODOd:eDG9DVdqcNExRtbRGP7Qr4svlCd |
| TLSH | T19F11F4601BE40FB3169254E54D5ED0C2CF94C56F6925921AF84D77341B0EE6773F44E0 |
| tar:gname | bin |
| tar:uname | root |