| Key | Value |
|---|---|
| FileSize | 14088800 |
| MD5 | 6B239177E2D94223A897285CC130FB65 |
| 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 | 4F8BFB2A60FFDEE6509800990844B8209984A77F |
| SHA-256 | 341EBECEFE15E0B1BA5DCB7D11F5A92E4787C76200D8A6364EBF6105C8B31F80 |
| 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/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/ide/richprinter.cmi |
| FileSize | 3656 |
| MD5 | 241DBB8218F8A7BE7CF63BFEDB656F75 |
| SHA-1 | 05B9D1D9246F2AECCA79E3A359251C62ECD330A2 |
| SHA-256 | 6B5AA6321382B8BB0DBC7E999BBE8909168E0D01D160F9CA23A3D789484C1411 |
| SSDEEP | 96:TORjPoqITHnQxzYDn1vfPvNJbT4cBzhfujWD/Jdx1HM9:TORzOTHAzwn1P8cBdo0XDH8 |
| TLSH | T1BE710AECC240B0568887D0F781484936E49C1597573BD8FE932753D860A6D7EA36FA2B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/genarg.cmi |
| FileSize | 6162 |
| MD5 | 5F56A818854622D3818C898CE2A45618 |
| SHA-1 | 072F32DE33E171F7EB96476B163829D4B97E98DE |
| SHA-256 | 5E713B8379D241F39752A0A11F9E703C70BD408DA18E12C9D33C7FA4E08C5862 |
| SSDEEP | 96:HPdEmbn14uFb/mHgbQyULcKugAWue9FIXsn0XYJv6IbDSaT6:HPamD14uRmHgbWcKJjHIXsEYVZ1T6 |
| TLSH | T15AD1CDEE48E3F0A2019E5E6CE12FD5AF0A0489FF346B5D77131816D1F64A50EC72A48B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/opaqueproof.cmi |
| FileSize | 4121 |
| MD5 | D36C292758E5DC8FC0E8361E31D9542E |
| SHA-1 | 08B7E3A8045ACF75F4D62D18376F31C8644CC41C |
| SHA-256 | 879FD4FDAB30C456166B3CB7D3A5CF64B65A060C9070B68F89B1D25E5C76EDFB |
| SSDEEP | 96:SzsgHAaKnG0nQBmGiJGKB12iy5v7Phu5MnPbNND3PbklSOyx1r:SXH7uG0nYrKBSJ7Zu5ybcYDr |
| TLSH | T1078110CCCA6C50AD6209A4FE4216BD5B521D47BE887BCD77414C06A449DC9EEC34B8DF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/refine.cmi |
| FileSize | 3389 |
| MD5 | 5DC8B58836FCD7EC42B05BE9E5DEDF7E |
| SHA-1 | 08D6420058F7670A54E9D3A47A30783648D4D01C |
| SHA-256 | ABEEBF39AA11432298A13B9D4E8A596F071D68C20FB8F62183B54C0811B14082 |
| SSDEEP | 96:lBD5Vznrf3gzaG09zHcHnNsYDL1GPgbw5STWD/Jux19B:lBDnrf3gzaG09z8H+wL1MBm0gD9B |
| TLSH | T1A8610BDDC444B0AFB482D0DE0455893B907C52BD9E3B9CB7532E02B48C5494FE76B88B |