| Key | Value |
|---|---|
| FileSize | 3498152 |
| MD5 | DDC2C5A2CEC9848853E1B2FF3C4F8045 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.6-5build1 |
| SHA-1 | 554E442D88E9E03DBB9E3D665C61F4CE4D1B9077 |
| SHA-256 | D1E1D6B2CB8A421B82AB85187CCE334DC780C668B5DC7E63C72B7E3EE3511982 |
| hashlookup:children-total | 54 |
| hashlookup:trust | 50 |
The searched file hash includes 54 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/plugins/syntax/z_syntax_plugin.cmo |
| FileSize | 29016 |
| MD5 | 7BB6C1932C7E779FEE78A19544D86817 |
| SHA-1 | 01383534D85C09E6C3A6E01EFD858CD8113CF933 |
| SHA-256 | 5AB739D53CF1083ADF731DC304A7200FC1901A1C1A59A4D36766014AF576C6D8 |
| SSDEEP | 768:TwmVT8nTo/uPYk3srqCgyAnUN6YSwdLlL:TtKnM/uPYk8OCgyAnULHl |
| TLSH | T19CD2510DA4D8E8A2F5DD29BDC5D9498D6F3905BE6153DE2B01F80B812CD1A2E1F89F07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmo |
| FileSize | 373167 |
| MD5 | 29EE6526491D02A0ECDF1BA828372AF6 |
| SHA-1 | 0748C9FAACFC405E004270B7BFC548A735BB1CFA |
| SHA-256 | 18567176D6CBD799F6E4939F22E3B55C9115F010C78E13EB335E79B9092F0E98 |
| SSDEEP | 6144:xuvQkQ8RpB4+7nA3zxGODAjUmi1LJtM18+jTIkrUOJzipEr:wvjQ8fB4+7nuzxGAAjUN1LJtq4kwmcEr |
| TLSH | T13184A40DA51D6C70CA9989FFC8DD6ADB6B1487AD3213C9F740F841092E9232E6F5660F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmxs |
| FileSize | 676588 |
| MD5 | 6A54992AEB56DD131702DC750F48CEB6 |
| SHA-1 | 079A8E48EAD88211BF987810D4F47758FFE2610B |
| SHA-256 | 78A7E8BC16D05618230C17547A8DDB7E8D07F82A1CB53472A0A06D30649C09A8 |
| SSDEEP | 12288:spVXbpbcOmmWzFoxPQwR/2MHgNEbbjAo4l1dmEEEEEEEEEEEEEEEEEEEEEEEEEEY:spVXbpbcOmf5o5rPnAN1l |
| TLSH | T1B8E4D311FC8EAC71C0EA9637707B56B2B338A3C857DA9A136E1922503F532E50B57BC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.cmo |
| FileSize | 26581 |
| MD5 | E40A26212717CA26B34FB6F6A8C88921 |
| SHA-1 | 0BCCA31BA00BBC047F65B417769480ACE8476E49 |
| SHA-256 | AACD2E65C9132C2553AF7CA96F031A50BF2D879528A51FFACEE73810028F8BF0 |
| SSDEEP | 768:/RrXHfBwmLx6LWkBagOjOy65l4o71XwivvZdLH/:/RrXHfBwmLxIW8agaOy65l4opHnj |
| TLSH | T162C2524EA4D8D962E1FD1CBEC9D589CD8B1606AD6193CC2B04F807E968D1E1E1F92F13 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo |
| FileSize | 19307 |
| MD5 | 80063D04B3A5830EBC8718E5463B06E1 |
| SHA-1 | 134E3D4D264CF34280959D8FEB93BED60A2E0D90 |
| SHA-256 | B848DEDA1AFE1D3CA89705770D6122136827F38FD6D3621E1F53B089CD1E49C7 |
| SSDEEP | 384:ruU48ENnyZ0CzbabyIniua5hV1GhBg11IOKco01dP:r6NnjC37wiugH1adkdP |
| TLSH | T19A828429ACDC9C72E8CE18BE98C246ED4F6427AA2003D81B41F487D51CE56A65F46F4F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | D42BCE1FAC516F7DF0F92782D7A37489 |
| RDS:package_id | 182052 |
| SHA-1 | 14BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7 |
| SHA-256 | 9B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8 |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg |
| TLSH | T1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A |
| insert-timestamp | 1679425887.2714002 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmo |
| FileSize | 25559 |
| MD5 | CB3AA6F8F14D605BDF98257EF3CFCECA |
| SHA-1 | 182C4F8606FBB91C203C7E2B303694C6B3D418C1 |
| SHA-256 | F5906874088A4388D5F2ECA7402BEA3A796296B0F3DFFF18D5D91F9D761821CB |
| SSDEEP | 384:NJHU7VknG+KZtHq4MSpQoBIiiongYHHY07ITDRNr4ArLmRLc2xxl5tcMmB2vA/F5:3lDd4JyRCnX6D+IiSyNu9/ |
| TLSH | T1D0B2C709A85C9462C6DC44FF89DBC9851238DA99DDCBC927173807226DC173F6F87A4A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmo |
| FileSize | 286090 |
| MD5 | 61AED6517C4472AB1957D6707E206C4A |
| SHA-1 | 1C57A7C920C9D987F12B1E7C0EA9CE6FC9C75470 |
| SHA-256 | 5B82B68E1F362D004CABF402F77DA0F73E2D736E95353EB124594F9F45E35196 |
| SSDEEP | 6144:D6NUTV39iYw+5gITg5udstUxc2VGx58O8RzBgfYacqCi1V:D6NUR39iXIT0udzRVGx5FW9ggajCi7 |
| TLSH | T16554C70D7118A974E5EE18BEDEE48EC602284AFEA4C78E57106C07396EC671F1F86747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 631556 |
| MD5 | 0766D966676B908FAAAF73DB6FF0BBA8 |
| SHA-1 | 1C86E156BE3816205BDE196A3D5F889C2B111262 |
| SHA-256 | 474EB62055DAA27785F4247F09A83F747D3EB1C88A4FE52BDAA2595496474EAB |
| SSDEEP | 12288:U0FHcVKuWOEzQVAIvR41CDQEAJbeJT3R+72el:U0FcVK9qAfCDQP63E72e |
| TLSH | T11BD4F645EC4EBC52C1A9453FB42F2BB66339A3CB53D28F82159A32143F861D90B97BD1 |