| Key | Value |
|---|---|
| FileSize | 14377820 |
| MD5 | 36536533D4F92A4BA0DF798105FC6165 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.6-5+b1 |
| SHA-1 | 2502E79CA9360D82DBEF256FBC4A94D9E7E97F89 |
| SHA-256 | 6CA1D2E398929A1EC6BAD21761262086CB9E1F35A0FF65AD6A3C8A9ACCA2685D |
| hashlookup:children-total | 487 |
| hashlookup:trust | 50 |
The searched file hash includes 487 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/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/lib/clib.cmxa |
| FileSize | 17133 |
| MD5 | 4211D03A6C79C151589B9DC508BC4B3A |
| SHA-1 | 01054E179CDD03E88FA30731C4A2A3DD5F74EC76 |
| SHA-256 | BAE89CFFB1C80ADA3B8B28451E18F1DD3B881D5A413C9FF3FC02507104E7D32D |
| SSDEEP | 384:63kXP9w8p5kSfccNAM1uyItOsPVjW1kEChtCpCOtwK/FdpOktKkg1x:6UXP9pXkSEgj1TaOqFW1kEMCpC0wK/Fe |
| TLSH | T1EA72B49AE35C7A1ED1C3F0F26FA60978D14820A2E77FC052973F1718A1C6FD45A19A4E |
| 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/parsing/highparsing.cma |
| FileSize | 614861 |
| MD5 | 970AE9236176D9E375A590C15CA401BA |
| SHA-1 | 036DDE0DCFE9057ACEABF3E507215BCDB567EA46 |
| SHA-256 | E9BDE0707CBA6A9573875D720C337DCA384523485BB756F24A5299B1777225A5 |
| SSDEEP | 12288:NIxDGFn8jmWyU3o6I0ne664AwabYYs61vR4WfzuxTwNT0eaiOQN:YDGFuo6I0eT4ubYp4vDbuxUqtQN |
| TLSH | T137D4E74FAB1145F2D8001E79ACF8DE8D572278BDAE075BA7584C03A558C678FEF00B96 |
| 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/interp/interp.cmxa |
| FileSize | 61624 |
| MD5 | 1382F8F8E2594711A35A19D633097873 |
| SHA-1 | 03E87819897C9656ADA9ABAA989DED472F4ED10E |
| SHA-256 | 0E07A4AD16923FA6E4EE955131F07D49C53D8F4DBA903FE99CB38FB8180479EE |
| SSDEEP | 768:TP9Pv98/9IsecCRoBOuZ9xR2gkIHaTxRr8Re9LRrvuxmoRjtmLgjhXW+4LSR/cE9:TNCbNB44R8RomL7n8vkebT1 |
| TLSH | T1F8532BBDC180F49A9887C0E7806A0979F0AC44939637C4FD973743AD51B2FA5972B93B |
| 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 |