| Key | Value |
|---|---|
| FileSize | 14429048 |
| MD5 | 6F554BDF2B649FDCE8B862226512494B |
| 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 | 521169A0ED368EE0107D5879A7A0E5E08D8426EE |
| SHA-256 | 9A0AB07459EFD3643B31DDD551C758EDB0210D4E6B74C61B10425F563EB4EEAD |
| 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/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/vernac/g_vernac.cmx |
| FileSize | 4943 |
| MD5 | F8B43A0A2B296514BDDF5702250DF3F2 |
| SHA-1 | 0032250C16D275C0CB1F6B5740D6B91E8213E50C |
| SHA-256 | 9DFE4541BA7BD49B209071739168018C4177A8A3CF43C6711B4FB33397A00948 |
| SSDEEP | 96:kzH2wGRjXMdqFbEZgQorA77hxBsB4DdvVr4R0+tuqKNbBuSgKTZufbxMIMwpXr9:uShQN71xBg4DYRV1KN9uSRTZufbx/MwP |
| TLSH | T146A1E97897C2B03698C191BFC4D78170536142A36926C4AE5F53076A1292FA1BF63217 |
| 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/plugins/omega/coq_omega.cmx |
| FileSize | 18258 |
| MD5 | 98B15E04AA3BBA99BD33AFB52721691D |
| SHA-1 | 0078128C17B8DA66EF070052921D866FB3BC8992 |
| SHA-256 | AB3083675A4230B33DFEE38F9AE52D0D7CC96A3D8C6585D68C78FEB570E89E3B |
| SSDEEP | 384:f4ldKwT8RDwJD4chafBzCA7YVIumcQdvo45uUkyNUthZjH/Oa73Y:gTKdRDwJD4Ua5uKxVo4EF3J3Y |
| TLSH | T1DE826749030F280585F4F869C55FA6F64E3CC3860BB1EA7E56E8070A7C586A5A1FF625 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/vernac/assumptions.cmx |
| FileSize | 5399 |
| MD5 | 0CAF480AC81E9B50617EA09D5ED98C55 |
| SHA-1 | 009045E1E6CCA379E237F2FA5745B96C54362EE3 |
| SHA-256 | 53CB6E5423004C5A0473B19105137B19C64D3DBA0E9B46E8FE280BCF9C28CC53 |
| SSDEEP | 96:Mi+H2WrRmXMvFbzSgehf787TsLCDd14yUAqKvniLppanbUI9iYY9mSAn0HXkh9pG:w821ehfA7TrDIRzKfiNcQIoYt0iK |
| TLSH | T1A0B1D976570473025EC7A3B6D1DE44704430C3E11AA5C87E932BAB4B2594EB19A2F29B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/clenv.cmx |
| FileSize | 9310 |
| MD5 | FE3B57DD40CB58CD64DE78BCD459EF27 |
| SHA-1 | 009D51D7C8FA8BFA437FF996495CF8DD779115E3 |
| SHA-256 | D3692760374C9405261CC9853C60F403E93A9CBBEFE79661A139A3732F21CA39 |
| SSDEEP | 192:m2jiQwzWh8D+ieDN47KoMRH2L4i56AcdjTT5:m2OQwz88D+pDSGoK2UibcdjTd |
| TLSH | T13712E9735F49B4D2CECAE17DD45B481C08A1C82C1E61CFF657290B1728D4DD6279B646 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/vnorm.cmx |
| FileSize | 5162 |
| MD5 | 18B8DD12E987FE80263A985B44AA8D97 |
| SHA-1 | 00CE9FE35534F2759EEEAC3E8CEB33CA661DF450 |
| SHA-256 | 9FC554731D1F8B183CAA324582A1A534BD99183537291786040A388E6C0235E9 |
| SSDEEP | 96:fV+H2WwYSPRmXMW6blzwDHSLCDdr40TqDrzhetxYCd/EoUlr3OE+Mwx7HRgNuT:WiYjKwDFDy0eDJyxbd/EoUt6MwxSM |
| TLSH | T105B1E93A1643F06755D8E2FAB5FA8850817886821B36C8FB72661BDA2D346415B3F31A |
| 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 |