| Key | Value |
|---|---|
| FileSize | 30183784 |
| MD5 | 20B81961E9FB61F162B83C790B968424 |
| 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+b1 |
| SHA-1 | 21BDBE3F68509586E1A85D3A5FE52B58F6BC2118 |
| SHA-256 | 786DA599F34BC10A744CCAC670B9A1AFF38A0022171C54EF02FE6E7712D0BC08 |
| hashlookup:children-total | 4304 |
| hashlookup:trust | 50 |
The searched file hash includes 4304 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zorder.vo |
| FileSize | 69350 |
| MD5 | 843A675B2B727A18C27A12FF19E0F9F3 |
| SHA-1 | 001066F68FE9F3F9635FF9CB1ADCDF62ED21753A |
| SHA-256 | 4CC80878722B64D6474CFF011C91B230C6E11ECC6049522C4E62ED60ECA0ECF1 |
| SSDEEP | 1536:+iyhn3Uhh1fnYdBudK7ZSpjL0WtuHLMJG:+iyh3MPfnYmdymLaHf |
| TLSH | T17C634B91C317F158A4FE8F78FE34540CE316498FB2A865490529623DFAEB1CF29AC647 |
| 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/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmx |
| FileSize | 4128 |
| MD5 | 6F98BC39E2E3690BB2A39995682A8E66 |
| SHA-1 | 00180AF496D7F65A21F09A033CA3B08A1896EF67 |
| SHA-256 | 6429A35C204AEF9149CCF356C98599864A4A6C1934064955C1D9018B8DD5AF1F |
| SSDEEP | 96:5H2Wi+AGXPx9He7DYuhsUftUhopbFiGr4:Ri+Jol50 |
| TLSH | T1DA81C5543BE2F41D778380FA23DD245E05728895CE92D8B22E0C8B5CAF7966150FAF1B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/DecimalN.vo |
| FileSize | 41750 |
| MD5 | 21BE3A9536B9D340074F20CE8D1E0655 |
| SHA-1 | 00240651A719D76169AC7F20E6AB84731368C9BD |
| SHA-256 | 18DF4C33465C1031AB0D0EF0C5A54A08266E0D05CAC23D56A928FADF4BA3E263 |
| SSDEEP | 768:1xgEGEhF7LBvLREHUdmZ06mRkFXCUsasEzUsNuifBRmSeY:1i52LVLRA69R0/Ac |
| TLSH | T163130A139011DBA215BAC9B46A3450C4F4008F9BA39A5B6C522506AEFFFF5CF39F464B |
| 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/plugins/ssrmatching/.coq-native/NCoq_ssrmatching_ssrmatching.cmxs |
| FileSize | 16624 |
| MD5 | 6B7ECCCE42DDFF249ECE6581AA867FC1 |
| SHA-1 | 005739260DA6823B23A157672B9DCC0F95F57FEC |
| SHA-256 | 43E8DD770A0ABF89A836465EE98B8EF183BFBEA68F9CBEDDAA6FDFF376AB4E62 |
| SSDEEP | 96:RrIlBWBmEc76H2WiWAGXPx9HIDYuhsUftGAHrFYMzjbiV596uuY:R48w1aiWJMlYWvie |
| TLSH | T11172C72BBBD6D53FF63851BB80DF023422B4B411ABD1C2339224A7644CEA3546E72D47 |
| 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/Classes/.coq-native/NCoq_Classes_SetoidDec.cmxs |
| FileSize | 317664 |
| MD5 | F6EBF2983A36CE9365AAA4189D905FA8 |
| SHA-1 | 005B8F85342EB423F9AE60B1F856515797C102CE |
| SHA-256 | 42777F2BD02239CF5A7708CE942FDDF609531C07E4534B9D221C4C28FF9D8423 |
| SSDEEP | 3072:U3iVl4NVt3FOi11nGfhrHuAkOP8zK5A3Qnwgdjyx/cY:oCl4/Oi1hGFbqKcuWFc |
| TLSH | T1D864B797DAE95DBDCABA827D024712323EB0786447516B0375D163343B83A8A2FDD7C8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalNat.o |
| FileSize | 39904 |
| MD5 | A7BDF15D4BE0121B0F5C11DE626BDFD7 |
| SHA-1 | 00676DF75577ECBF6FCA5D1255169BFB54FC4C9B |
| SHA-256 | FE77C9B5DBDBECB66AEF70FCB4882B980131C1D9F9EE9BDDA442528E3B4D20C6 |
| SSDEEP | 384:Kd3aVkavx/SkZ/BIw3PIFiJ6FHhna1St:KpOQw4oSt |
| TLSH | T14103391277A3DE2FD205DB3040BA6725717AFE649F623B0B6611331F1F32E8A8E64525 |