Result for 0FA81EECAC6D88DB6A2741E1A650287CBC2DFB79

Query result

Key Value
FileSize14025668
MD58E43C6773FCB8B37CA379C2CE7B85A6C
PackageDescriptiondevelopment 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml-dev
PackageSectionocaml
PackageVersion8.6-5build1
SHA-10FA81EECAC6D88DB6A2741E1A650287CBC2DFB79
SHA-25697DDE75DB602CC39DC687B4B65FD72957B6352FAA4ABA543F5EACF53B9AB223A
hashlookup:children-total483
hashlookup:trust50

Network graph view

Children (Total: 483)

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
FileSize6369
MD5B40568C50B68F74777E88C5674EE25B4
SHA-100C15CCE2E98BC3C9AC7D7CD073C060C8D496FC2
SHA-2567374AADA172B661A5F13AE6473477370E155B6944DED53D98F3BB2D2ACF21BDA
SSDEEP96:ldsopzZGZ3J7oC8xhjTFids2p+Nr3yrfzwbzxViqduNKfOTx1h:lv1GZ3JyjZiDy3yLzwW2UDh
TLSHT124D121CC8429B09B428EA42DC50FC87724D807BF95335D7B021A13A2A9ED9CFD38B597
Key Value
FileName./usr/lib/coq/engine/engine.a
FileSize1102224
MD5DB2F66B7414AC331F4F474975F5C40AB
SHA-101103B3B238D0D0F9DBB554FBDF2F8448850490C
SHA-2568C681B6EC01CF34D07A583B894B2B673B7D2FD424D4969264FEF2EA382FA0DC4
SSDEEP24576:fHGR+RJHbATCIB6HIbUcmD1joQvrq5ehqOB4mEmRlAAkm:vGR+RJHbATCIB6HIvmD1joQvrq5ehqOH
TLSHT15A35E9BD5F8DFD6CC3CA4D75DFEA07697B34C1893943034B9A2A32091AC23D9AD92152
Key Value
FileName./usr/lib/coq/pretyping/pretyping.cmxa
FileSize95879
MD5D87FFA7F4AF6F84E6AD07E7CDF050C48
SHA-101591220596F4D42FD8B9786DE65B68738287073
SHA-2565975888C07DA6AF7515DC25351E6A83DC50DE1641D2ADBD164309924B3E2D4D6
SSDEEP1536:bAs0ub7u1LswtYZUKxjw/TaSeEjjkdyVO14bmPFzoa1x7o+AsLH5GLtk:p
TLSHT1DA932BAED180F49F9887C0EA4469057AF0AC45938737C0FC536B036A50B6F95A767A3F
Key Value
FileName./usr/lib/coq/ltac/tacintern.cmi
FileSize4649
MD56E48C3EA1854E4DA117080FDBBEE0529
SHA-102716FACAC825C584B42643BEC52130105D885A1
SHA-256731D9363FF4C184EE3276EA9EFE9D0D6B1CB3A534AC1610C54B83CCBB06A4254
SSDEEP96:kNVCB1o4bM0Ft9Pg4X4FRVRCoqHnNxzYDL1vfPgbTjRMSjWD/JPx19M9:aCZMmt9Pg4X8uH/zwL1PARMM01D98
TLSHT157A1C7ECD08064E6118A90AC8465551B945C13BECD3F9CFBC23D03E451DEAAED32EA5F
Key Value
FileName./usr/lib/coq/interp/reserve.cmi
FileSize2094
MD5ED617DFBBEE66D734AB3F6E7820267EE
SHA-103361786E7BDDC7ABA0FA58BCEF7292B04E79B72
SHA-25622577784D6B871C3184707DDE587578F9D6EF0813C345C4D755E262CC723C2DE
SSDEEP48:vXGKvg/pN6HD3SbzhwLqmtQ/2/65aDN9lm0rNp/zQz9:P1gBNQD3SbOlq/y6c95x1I9
TLSHT1B241A9ECD540B849D487D0F78396086AD14C04E3493FE87B873B47DD1554EEC876A91B
Key Value
FileName./usr/lib/coq/printing/ppannotation.cmi
FileSize4117
MD597D42AAB78E831B266402773F812C8BC
SHA-1036F47E83FD7C4A2EF6FB2FC497E11B8EE1DBE62
SHA-256800E23ECA37D4D159B3EC176399318AE32E33388A08B684CB9579D79C42CA798
SSDEEP96:SpI1fjTHnQxzYDn1vfPvGbT4cBzhfujWD/Jdx1HM9:tLTHAzwn1P9cBdo0XDH8
TLSHT14C81F9DCC180A477488BE0AE95540837E15861A6073B88FED32B52D835DACBD975B92F
Key Value
FileName./usr/lib/coq/ltac/tacsubst.cmi
FileSize3289
MD57C4C58CB37C1591DD4725606C1DCE80A
SHA-10399945D71286256E25D5227251C2C87BE7EF5A4
SHA-2562550253483BCEB7304FF736731C1E21586821A9E0F97F29F7D85CC529C3638E1
SSDEEP96:FddnCAHnNxzYDL1vfPgbTj0SjWD/JPx19M9:FvH/zwL1PA0M01D98
TLSHT1AA61D9EDD040B09A54CBC0FD4459063BA0A805BA993B8CFFC32E53A86195D6EE32D46B
Key Value
FileName./usr/lib/coq/lib/monad.cmi
FileSize5209
MD5835D2A7C12E2F0805C65D1EBAF6F784B
SHA-10406583CC6DBEB6B7340CCE5A45A5B0E3D255FC9
SHA-256199DD5619573C211609847FF2FA583C2E4E0E1165EDCAADF98446DE0C3F4F53D
SSDEEP96:qOsgj6XvpzdRY3VFWdl1lBOYg4Lv+nk2PHVAWryRd9ZF4b6A:qpXBzQ3VFAlQY/LvvO1sRd3FDA
TLSHT1CDB1ABDE44B4F0BE138EB8ADD41ED46F064E49BFA53B8D7317586381A29E00DCB28497
Key Value
FileName./usr/lib/coq/ide/richprinter.cmi
FileSize3656
MD5241DBB8218F8A7BE7CF63BFEDB656F75
SHA-105B9D1D9246F2AECCA79E3A359251C62ECD330A2
SHA-2566B5AA6321382B8BB0DBC7E999BBE8909168E0D01D160F9CA23A3D789484C1411
SSDEEP96:TORjPoqITHnQxzYDn1vfPvNJbT4cBzhfujWD/Jdx1HM9:TORzOTHAzwn1P8cBdo0XDH8
TLSHT1BE710AECC240B0568887D0F781484936E49C1597573BD8FE932753D860A6D7EA36FA2B
Key Value
FileName./usr/lib/coq/lib/genarg.cmi
FileSize6162
MD55F56A818854622D3818C898CE2A45618
SHA-1072F32DE33E171F7EB96476B163829D4B97E98DE
SHA-2565E713B8379D241F39752A0A11F9E703C70BD408DA18E12C9D33C7FA4E08C5862
SSDEEP96:HPdEmbn14uFb/mHgbQyULcKugAWue9FIXsn0XYJv6IbDSaT6:HPamD14uRmHgbWcKJjHIXsEYVZ1T6
TLSHT15AD1CDEE48E3F0A2019E5E6CE12FD5AF0A0489FF346B5D77131816D1F64A50EC72A48B