| Key | Value |
|---|---|
| FileSize | 22186024 |
| MD5 | 17ABE87D38C311A5B5735FF45F6DB6C8 |
| PackageDescription | runtime libraries for Coq 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 runtime libraries for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.14.0+dfsg-6 |
| SHA-1 | A0C83CB17D0141DCAB1639F2E5AFA73C47077D3D |
| SHA-256 | B61FB362758573A10A055E77547564BCC7066D47056706F44067F88EEC5533B6 |
| hashlookup:children-total | 81 |
| hashlookup:trust | 50 |
The searched file hash includes 81 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/zify/zify_plugin.cmxs |
| FileSize | 174156 |
| MD5 | B87D7D6B74B56168E3160F4A518A5D49 |
| SHA-1 | 008698AB738EF7DC861BA7397FCF796ECCFB66A6 |
| SHA-256 | CEFC37FBAB5980855AE23230E13D28474339861ACAF6A353B43980E2322303FD |
| SSDEEP | 3072:5juAB6sibJFgN5U0jv088zfp9mOw/52ZPyfSq7R:5XFibJFG5UuKzmOc528hR |
| TLSH | T11F043949750D9C12D0AB5534F38B4B8AF339DAA06787DF0A291612A4BF830B94FAF5C5 |
| 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-core/kernel/kernel.cmxs |
| FileSize | 1936960 |
| MD5 | 8C2CB43B68611C0F94DFEA178FDDC6AB |
| SHA-1 | 035144F91F85F8BB815BB211C1356A7E5918E0BF |
| SHA-256 | 4C31AB623C5160B343321B361F34B5BEDEEB404038424470C697B253B26EB8D7 |
| SSDEEP | 49152:hkPudRkNTSrVolfgDxcYlFluohfGTVKJJPDWlOgiHSG:mPudRkNcy2/1V |
| TLSH | T1F7956C46FE8C9C57C15A9635F0AB1F67F360E2C65BDB5E4A280E22447FC21980B573CA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrsearch/ssrsearch_plugin.cma |
| FileSize | 155808 |
| MD5 | 5DC3AB3493CF0629FC685C2D94C05A27 |
| SHA-1 | 0D0D0B836604FA96B574BF8C3A907FFB4192750B |
| SHA-256 | CD57B79297A6FB9B0716A8A31B5E0EB52DE139EF0CD37D67939854EF59511834 |
| SSDEEP | 1536:7bz4GAF23dmaqs6Ejy8sv62ndlezxMWiQuJt2rVzkCHLbZrdaCu9+Wq6:7bMGt3dmae8si2UHiQuzKkCHLbZrsZ9J |
| TLSH | T122E3644E92065861CCB9067DA8FDF1EA4FF65B4D0ED1852BC07A119CA842F1B9F47E83 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/stm/stm.cmxs |
| FileSize | 389928 |
| MD5 | B1493647DA4AD92A7C4968E665D3BE93 |
| SHA-1 | 0E2A39376E2952F1377D94770F6F4EE0418A1E76 |
| SHA-256 | B23DAEDE29D2C415AA5FF72BB4C92C56AA5BE9118B040C6466151D335233C23E |
| SSDEEP | 6144:wdabFp/1qoRvtJFkaayfpMSAurfsihKSDiYfnpa9R4SsvNhbWXB:HF9EnS3vrjhXDiYfn0ztuNhKX |
| TLSH | T131845C05FE489C6AC057A23270BF1F53A370E68C27A75B02680EFA357F812995F676C5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma |
| FileSize | 593197 |
| MD5 | 8096899F7FDCA78B9F67F9CD352B979A |
| SHA-1 | 117D63EFC8E6E597E4CF76E6E2FBDEECB9A659AF |
| SHA-256 | 26BF0DF30AAD1168828D774ABFA5E983A204A0F59DB8D4F0F11E584AD3BE1BCE |
| SSDEEP | 6144:LZ2T7/N3mdvboQ4D+/peMMHa4JhGxv0HGYk+AqyxRBAsFZGTRhX:LZ2T7/N3mNbvrMtGZAPVA77zgRJ |
| TLSH | T17CC4313BEE5C08A0F8F517BA88E891CB4DAF879D5783C59FC12F02D4A44A7191F4A647 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/tauto/tauto_plugin.cmxs |
| FileSize | 33528 |
| MD5 | 197E9BF99E015DBA70A93F49D7D0803D |
| SHA-1 | 1CC2C4C1F2B3AA838D23054F5DDD989E435186D8 |
| SHA-256 | 4EFD7EAC7AB89A050214C5E82797D11CA8739D6488995BACA1DF43F5746D582A |
| SSDEEP | 768:0Eykta1evd/F9LJ6yXLb57OUukXWt4EnZXqGLrZZ4stxIkgtTAW7NwUi16ZskgWS:zykta1evd/F9LJ6yXLb57OUukXWt4Ent |
| TLSH | T181E21A1B769CD866D0A1903871EB79877374CAC963B7EB02A1ADE3097F501940FFB186 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 992304 |
| MD5 | 272712A8B45ABCD759941101BC426B54 |
| SHA-1 | 2581980B4AE69CDC9B20F701553F620B89261BA6 |
| SHA-256 | 4B0BEA26F34A74EA255244DF469561B40656A098B752323ABE9442026BF032A7 |
| SSDEEP | 12288:0bSEwY/zrqKntu6QZEj3D/uY0t17Hyf+2AJMYRHHvkcbihOfn:0bSEF/zrqyUOj3D41mfVKMYRHs6 |
| TLSH | T19025F78DA44E9D05C1A66578F42FAFE7AA29E3C75362CF921CDA31147F910E80BD72C1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/clib/clib.cmxs |
| FileSize | 750648 |
| MD5 | 5CD3AD2A6FBBD285AE2D3BC7E71F886B |
| SHA-1 | 2AB144873237CCC86748299C95DBDE87601B2D48 |
| SHA-256 | A1416539860DCE6810A4B2344A9AA4D3BF115A3954DFC5EB237DA5CABEA70AFC |
| SSDEEP | 12288:k6uAqOVgrwfzpyJkbtJkMY+Yoliv4lwheAQSI2jVoh:7uArVgrwfzpyWbtAN4Ebj |
| TLSH | T140F4160AFD4E5D6AD4BE603774E52A737375A0C9BBE24E13640912283F4B29D0B5A3C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/zify/zify_plugin.cma |
| FileSize | 418609 |
| MD5 | E3493FD5AA37EA61C05D631EC183FE1A |
| SHA-1 | 2D10868DB568DD2632D82A64E7A3D223CA7256CF |
| SHA-256 | F9BAF2DEE0635EE095F9C4016DB70E19C3768E8781C614BDCB9FF2428F0A63A0 |
| SSDEEP | 6144:DQB7FSu5fjd9Te9UpLplxG3OuDh7miV6zXeEPOO0XvBjV9vkY6Vy8FDeB:DQzSu5rd9TGUpLA3OIoU/VLtkJkB |
| TLSH | T1E194B74EE75B4455DCE849BCCAC991CF02BC9BB9838B9E17516B01D1F84333D1F82AA6 |