Key | Value |
---|---|
FileSize | 14025668 |
MD5 | 8E43C6773FCB8B37CA379C2CE7B85A6C |
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 | 0FA81EECAC6D88DB6A2741E1A650287CBC2DFB79 |
SHA-256 | 97DDE75DB602CC39DC687B4B65FD72957B6352FAA4ABA543F5EACF53B9AB223A |
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/engine/engine.a |
FileSize | 1102224 |
MD5 | DB2F66B7414AC331F4F474975F5C40AB |
SHA-1 | 01103B3B238D0D0F9DBB554FBDF2F8448850490C |
SHA-256 | 8C681B6EC01CF34D07A583B894B2B673B7D2FD424D4969264FEF2EA382FA0DC4 |
SSDEEP | 24576:fHGR+RJHbATCIB6HIbUcmD1joQvrq5ehqOB4mEmRlAAkm:vGR+RJHbATCIB6HIvmD1joQvrq5ehqOH |
TLSH | T15A35E9BD5F8DFD6CC3CA4D75DFEA07697B34C1893943034B9A2A32091AC23D9AD92152 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/pretyping/pretyping.cmxa |
FileSize | 95879 |
MD5 | D87FFA7F4AF6F84E6AD07E7CDF050C48 |
SHA-1 | 01591220596F4D42FD8B9786DE65B68738287073 |
SHA-256 | 5975888C07DA6AF7515DC25351E6A83DC50DE1641D2ADBD164309924B3E2D4D6 |
SSDEEP | 1536:bAs0ub7u1LswtYZUKxjw/TaSeEjjkdyVO14bmPFzoa1x7o+AsLH5GLtk:p |
TLSH | T1DA932BAED180F49F9887C0EA4469057AF0AC45938737C0FC536B036A50B6F95A767A3F |
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 |