| Key | Value |
|---|---|
| FileSize | 13762948 |
| MD5 | DA6184230E40A19CACA2D9BF94DF707B |
| 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 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.9.0-1+b2 |
| SHA-1 | 39DA77CF92B0730411771ABF347A47F013D4C88E |
| SHA-256 | CFAB3FE9BCFBD887B1AF4E53329EBA3629E2CA842568FC9FBE97F95549ED6AE8 |
| hashlookup:children-total | 941 |
| hashlookup:trust | 50 |
The searched file hash includes 941 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/g_toplevel.cmx |
| FileSize | 4279 |
| MD5 | C2303F73B3241BAEF58D35E46DAE6F7B |
| SHA-1 | 0004A91803DB2DA1DA96855DC4E1BDB44066E5D7 |
| SHA-256 | C7075FA02A43818DB5667C89AF41A2E4B6D53981643745FF50DF3F801F2802E0 |
| SSDEEP | 96:TxR2wGRj7AMdmFbE3ryQmrA77hk6sB4DdvVr4y+tljKRqX8Vhv:PkAhQn71k6g4DYnRKYXqF |
| TLSH | T165911ABDD7C0B0635CC281F7D09B083540B40293627BC8EDA363075B23A6EB5BB6B216 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.o |
| FileSize | 776340 |
| MD5 | 9EB5C6BE22D6263A060C37CB14691C5A |
| SHA-1 | 0036AAFF5754CE972DC9A72AF3ADF942877F9DBE |
| SHA-256 | 5B83FEA3D2D2872F15A8C4AE613602070EA677AD6D4C597E9C38AA9584D4F5AC |
| SSDEEP | 6144:OPf+EhiOIvBlH7VXozY8VkQoyi22qXTjPYHxqLkOBfo/pH7QosxjJvWLV6jygjHh:OnRhUlHxfCjb5JvOVXgjybrjS658 |
| TLSH | T162F443CCABCEDD38E1A41EB4C81F5BBA2936C68B5B72BB9741D861553D405EA0F83710 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.cmi |
| FileSize | 6781 |
| MD5 | EAE8EC437DB7F69804ACA3C4270D94B5 |
| SHA-1 | 003967F9B2A978A20168E62A1B36B2988046A8F2 |
| SHA-256 | CF2AE0D6CBE1F68FFF29DAAADA7DA67BED8CA899DC88287F90009A4A51EA3C62 |
| SSDEEP | 96:1T6AmW2+ub9yXdUkWNMCkZgPRt2RizH2wGRjXMgFbVryQorA77h7BsB4DdvVr4y1:VYb9yXdNWO9ZgptbSQQN717Bg4DYjlKH |
| TLSH | T162E109ECA64460E2648EB5BE94814C57802403FF9C378CBF427D06E966ADD6ED327D87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/clib.cmxa |
| FileSize | 12399 |
| MD5 | 6F19A25CB736917C03F790DC6A3E8F23 |
| SHA-1 | 005BEDC3797897F4DCCDC6E3C1BED16C99711B2C |
| SHA-256 | 8A57527B5C16949FB974ACA998AA9720B5E92EDA38A88150E92DBBFE4E41EEFB |
| SSDEEP | 192:BdU90iCegkb3AHVeN8Cn+QjLOcKNnSKMY0n9NeRgtDGwExVo01PhT5TkTeYi1a11:bW07lVNSB8zR5gSYimt |
| TLSH | T1834265A6E75D761E94C2F0F16F6548B8C1485062A73FC047E73B5714A3CEEE90A2CA4E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| 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/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmx |
| FileSize | 24788 |
| MD5 | 730966399E00B22B789D63BF84B8B3D9 |
| SHA-1 | 023E5735EBC21C926823FFA3C55F6BD59A1339FB |
| SHA-256 | DEA715E0D674C3D89284F6A59DB67FA816A26FE059A010937D746708C6CC8DA5 |
| SSDEEP | 384:NkJvraVK72Cnv/EVxoqDTNSJEafBgafBzCA7YVIumcQdvo45uUkyNUthZjH/Oa72:NcJ72mEV1D2Ea5ga5uKxVo4EF3J3Gp |
| TLSH | T10FB27458030F2C0185F9E879C56FA6F64E3CC3860BB1EA7F56E807067C586A5A1FF616 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/rewrite.cmx |
| FileSize | 22716 |
| MD5 | BD5F7A19D1449AFD0849BDDD5A4356D7 |
| SHA-1 | 02981C70BA20DAE869F3C7D43EF62E67436EA6C4 |
| SHA-256 | 4282EC81BB97860E287B2A07C134F9759638FBB749F0A6EA96E67ED5AFF365B1 |
| SSDEEP | 384:3Z5dDPD2o4teqVHyDGJ+a6l8b/uXSHxi04OQMARAHlxR:rdX2IqVSD4+a6ls/uXSRYtMtHlxR |
| TLSH | T1DBA2EF13BB8A232D76ED48FB6553D6D24C28CAC7CB9DC62586B80E863D4453DE3D7242 |