| Key | Value |
|---|---|
| FileSize | 13796020 |
| MD5 | 0EFEC17C5DFF06F68CFA1303B5C79FEB |
| PackageDescription | development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.6-5build1 |
| SHA-1 | E0987ADB4A2E8E4D8103DF79206978E11ABBF689 |
| SHA-256 | 0B0DD198C9479A3003D06DA3EB8C30B5A8BBC27AACA5EB11AAD680A07A5210B0 |
| hashlookup:children-total | 483 |
| hashlookup:trust | 50 |
The searched file hash includes 483 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coq.cmi |
| FileSize | 6369 |
| MD5 | B40568C50B68F74777E88C5674EE25B4 |
| SHA-1 | 00C15CCE2E98BC3C9AC7D7CD073C060C8D496FC2 |
| SHA-256 | 7374AADA172B661A5F13AE6473477370E155B6944DED53D98F3BB2D2ACF21BDA |
| SSDEEP | 96:ldsopzZGZ3J7oC8xhjTFids2p+Nr3yrfzwbzxViqduNKfOTx1h:lv1GZ3JyjZiDy3yLzwW2UDh |
| TLSH | T124D121CC8429B09B428EA42DC50FC87724D807BF95335D7B021A13A2A9ED9CFD38B597 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/highparsing.a |
| FileSize | 823878 |
| MD5 | 24E0BB4B9D7FBA13F18CE37E97EFBB69 |
| SHA-1 | 023B8738AEC6278B92BB586C7EAA9D011C010F2B |
| SHA-256 | 6AA0E26670977A48F40DB7401FC3108644D0DE041104E5F0D68362E824CF79C6 |
| SSDEEP | 6144:riVkVXaOp+WIaYiDTx50Hq0gxeeIPIdLuKo5e63Sj4LxSQOSUAIAPwOCOb291Pit:mEXaOrsh3lIic3 |
| TLSH | T1DA055376ABCE4D3EE0BAC9784A1B9B363A60D1653E30E3175D487B742543B812F5E90C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ltac/tacintern.cmi |
| FileSize | 4649 |
| MD5 | 6E48C3EA1854E4DA117080FDBBEE0529 |
| SHA-1 | 02716FACAC825C584B42643BEC52130105D885A1 |
| SHA-256 | 731D9363FF4C184EE3276EA9EFE9D0D6B1CB3A534AC1610C54B83CCBB06A4254 |
| SSDEEP | 96:kNVCB1o4bM0Ft9Pg4X4FRVRCoqHnNxzYDL1vfPgbTjRMSjWD/JPx19M9:aCZMmt9Pg4X8uH/zwL1PARMM01D98 |
| TLSH | T157A1C7ECD08064E6118A90AC8465551B945C13BECD3F9CFBC23D03E451DEAAED32EA5F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/reserve.cmi |
| FileSize | 2094 |
| MD5 | ED617DFBBEE66D734AB3F6E7820267EE |
| SHA-1 | 03361786E7BDDC7ABA0FA58BCEF7292B04E79B72 |
| SHA-256 | 22577784D6B871C3184707DDE587578F9D6EF0813C345C4D755E262CC723C2DE |
| SSDEEP | 48:vXGKvg/pN6HD3SbzhwLqmtQ/2/65aDN9lm0rNp/zQz9:P1gBNQD3SbOlq/y6c95x1I9 |
| TLSH | T1B241A9ECD540B849D487D0F78396086AD14C04E3493FE87B873B47DD1554EEC876A91B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/printing/ppannotation.cmi |
| FileSize | 4117 |
| MD5 | 97D42AAB78E831B266402773F812C8BC |
| SHA-1 | 036F47E83FD7C4A2EF6FB2FC497E11B8EE1DBE62 |
| SHA-256 | 800E23ECA37D4D159B3EC176399318AE32E33388A08B684CB9579D79C42CA798 |
| SSDEEP | 96:SpI1fjTHnQxzYDn1vfPvGbT4cBzhfujWD/Jdx1HM9:tLTHAzwn1P9cBdo0XDH8 |
| TLSH | T14C81F9DCC180A477488BE0AE95540837E15861A6073B88FED32B52D835DACBD975B92F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ltac/tacsubst.cmi |
| FileSize | 3289 |
| MD5 | 7C4C58CB37C1591DD4725606C1DCE80A |
| SHA-1 | 0399945D71286256E25D5227251C2C87BE7EF5A4 |
| SHA-256 | 2550253483BCEB7304FF736731C1E21586821A9E0F97F29F7D85CC529C3638E1 |
| SSDEEP | 96:FddnCAHnNxzYDL1vfPgbTj0SjWD/JPx19M9:FvH/zwL1PA0M01D98 |
| TLSH | T1AA61D9EDD040B09A54CBC0FD4459063BA0A805BA993B8CFFC32E53A86195D6EE32D46B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/monad.cmi |
| FileSize | 5209 |
| MD5 | 835D2A7C12E2F0805C65D1EBAF6F784B |
| SHA-1 | 0406583CC6DBEB6B7340CCE5A45A5B0E3D255FC9 |
| SHA-256 | 199DD5619573C211609847FF2FA583C2E4E0E1165EDCAADF98446DE0C3F4F53D |
| SSDEEP | 96:qOsgj6XvpzdRY3VFWdl1lBOYg4Lv+nk2PHVAWryRd9ZF4b6A:qpXBzQ3VFAlQY/LvvO1sRd3FDA |
| TLSH | T1CDB1ABDE44B4F0BE138EB8ADD41ED46F064E49BFA53B8D7317586381A29E00DCB28497 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/pretyping.a |
| FileSize | 2147092 |
| MD5 | 19D2C181244162D5D699C691B86ED9A1 |
| SHA-1 | 0484657CE19C4AAB0827B3A8AC1C359EDEB347BA |
| SHA-256 | 5D253A2D5D22C60C8CEB506EB6B7776BED4367C27E37FC91D147F08522199162 |
| SSDEEP | 24576:bUQOnWsfbt7rjSKxfU5vQVawreMuMsT/N+7g75GyJz2SEt+GDXSUMZxrRjv:V4t76acJb7JSSEt+nU |
| TLSH | T127A5D482DBC8DD7FE29A0E7084EF0B7A3931C54A2FB1BB175508B1552E827E51B6724C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/interp.cma |
| FileSize | 1941013 |
| MD5 | D0B049F696EA3236540B9C0F4366532B |
| SHA-1 | 0586E4D5076F6BEAE9C25EA990BB7A6BCF55AD7B |
| SHA-256 | 5EF8E0B6EA555CCBDF59F7738CF95187D43FF2E9113F495215FEE08954DACDB1 |
| SSDEEP | 49152:eKTSllv4pjINOu11efaTHQUB90n5UbKnpYTNcZZiiodforvtiOMrvUAteGG22qZ:7pjINOuzQQtfqq/F |
| TLSH | T15A95F84DBB684972C88929BDCCE4DE8FC3245D7D66571EAB109C071484CF79E6F08A8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/richprinter.cmi |
| FileSize | 3656 |
| MD5 | 241DBB8218F8A7BE7CF63BFEDB656F75 |
| SHA-1 | 05B9D1D9246F2AECCA79E3A359251C62ECD330A2 |
| SHA-256 | 6B5AA6321382B8BB0DBC7E999BBE8909168E0D01D160F9CA23A3D789484C1411 |
| SSDEEP | 96:TORjPoqITHnQxzYDn1vfPvNJbT4cBzhfujWD/Jdx1HM9:TORzOTHAzwn1P8cBdo0XDH8 |
| TLSH | T1BE710AECC240B0568887D0F781484936E49C1597573BD8FE932753D860A6D7EA36FA2B |