| Key | Value |
|---|---|
| FileSize | 22789112 |
| MD5 | 1FEB7CD5014195675FD15579D5B17901 |
| 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 | 690CCBD618BB02AED4D8E413889167337AF6C06F |
| SHA-256 | 92815089DD8C51D9268817E529C525E36499342B7EE49F08F50760CDFBDF0AAF |
| 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/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/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 1605936 |
| MD5 | CB3EE28DAF70C7C633FCA05FF927B6D3 |
| SHA-1 | 02D1606A0189BE7172BC41AD4433554A9D34ECAA |
| SHA-256 | 87F656D4AF2DBFF15CB13C2792E435786C14F3A5F2DC0AFF45F4BDEEF19E2495 |
| SSDEEP | 49152:TxOAH3AnKbti5luFe760N99lyI12yTduABzhweVIpqSgCNJuTh:fAnKbti5luFe760N99lyI12yTduABzhy |
| TLSH | T1057595AD998DEC14CAE945B9CB5C6FE63A3DC3CB57A2CE9214D432047EC31E90DA7250 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/library/library.cmxs |
| FileSize | 391528 |
| MD5 | 48A81420AF924CC26D019F35750B94AA |
| SHA-1 | 051346FE567639E54474D38D564F2834BEF5BE6A |
| SHA-256 | 3B67DFAF3AAC281E3F0F855B384323B47475220A0AA594374F28791F896FBBB9 |
| SSDEEP | 6144:i4Y6jIbdNtS/5IQpKgrQSBK1vfvNiUpbDv6UBVy8nBQ+G:i4H+tlQpKSzBK1vfvNLpbDv6UBVyoq+ |
| TLSH | T19A84B4ADFEDCED1ADE8685728B7607927235D1CE2351C6135598F3387AC33C98E62281 |
| 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/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/proofs/proofs.cmxs |
| FileSize | 388280 |
| MD5 | D31FB705819E52963FC7B2E30B049B5F |
| SHA-1 | 23893A0E95B98054CACFB8C657F0F1E499C05342 |
| SHA-256 | 1E934A53B6CFE9694950AB9EAE449CD3D08A5C8DA3DD88E8F6FC6EDCB61453D0 |
| SSDEEP | 6144:OScsmE/LTfDbgdj42d1jhEEoFciu8D5FZ3lX6k:tx/LTfYNLd1VFiu8D5FZ3lX6 |
| TLSH | T19F84F77DFECCEC69DE8681338B6B07577235C08A5792CA535504B3387AC33D8AE66690 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/engine/engine.cmxs |
| FileSize | 1166880 |
| MD5 | 7CC9B82E0E2693CE72A92C1ED30146A3 |
| SHA-1 | 252A38C2323C3537F73CB7EEA9F00D2577025D8C |
| SHA-256 | 5BFC1C72ADF4D76673B7813B4D7990A254BD31B1815BDA7D0D8FFCA573B26D4F |
| SSDEEP | 24576:AEf2g7ivA46sZAkJBOlqpmxLIKhnDI8IuJFOpGfgZVtvLObNCN8zJYwu6vCLt03I:RG6TkJBOlqpmxLIKhnDI8IuJFOpGfgZi |
| TLSH | T1DA4518BDEE8CFA64DA8A45735FA547963334D0CD66928B036904B3287AC32CC5F67394 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/tauto/tauto_plugin.cmxs |
| FileSize | 48016 |
| MD5 | FD30EEB6BC6C1879DFF3DBA3ED8C4FC4 |
| SHA-1 | 25CDB39567C8CF6DD9310C75BA53A803C5D5AEB4 |
| SHA-256 | F75221FC0D76BB261678AE1A21B30ABA8964CEFC71EDA257CA658D508A1E7BCB |
| SSDEEP | 768:pKsUjyktGaB1oeDvqd1/rFw9xL2Jv60ylXaLzbY5Y7zOOUpuMknXSWdtw4EnZiCa:pKsUjyktGaB1oeDvqd1/rFw9xL2Jv60d |
| TLSH | T11023A37EEBACA898C5A64672470AB2926378DAC62736D71311D4F7087DC32D84FF7091 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ring/ring_plugin.cma |
| FileSize | 412236 |
| MD5 | 99BCBBDB31340E8DDC09AEA48DAA3F22 |
| SHA-1 | 2DCD268BD812392B7BEF6A829A492D9311F0C2E1 |
| SHA-256 | D0783CD1F795CB5CE2F6CA34E8FCCB9668DBD2CA6B034D0C2C59EF55B2C762B4 |
| SSDEEP | 6144:bEpNEX8+GBZjMjKX7ycc/64/rXmj1TeAXdUJFf02oYMlhVzwzUko50O:bEpNM0BxFmc+jEi0dUPkV/UO |
| TLSH | T1E394B60FEF691599C8E46AF9C8FC80CF02B58BA9879BD917512A02D4EC467395FC3D06 |