| Key | Value |
|---|---|
| FileSize | 13752108 |
| MD5 | E0644862C05235E21CC1E92256D6623A |
| 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+b1 |
| SHA-1 | 482AB5AEC382B7199CE5527EC6948A90A65F2E58 |
| SHA-256 | 062F9E8B38A1F20E2B09E70442721F516CF19EDB56C0024282FE8D57E72E9EB6 |
| 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/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/lib/pp_diff.cmx |
| FileSize | 1922 |
| MD5 | 0628DD5E66BD8EF8542FA1A4523CDB6D |
| SHA-1 | 003D6D7BF2185937A6BD5CAE869B4FA8CFAA6FEC |
| SHA-256 | 8A2824F7618BEF1AF2542738F551CB07DFB9D1E774AF93D0872322B430706D9A |
| SSDEEP | 48:QY2RbQQeDJgDOHAHbjiKoRqENVGFhgiTIf70b/:QYMbQPDJgDmAPY88S |
| TLSH | T1AA4140D5922AD20348DDB9779AAA3CA3C95AF2111D354471FDE7CE9B34A5C48322B30D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/dyn.cmx |
| FileSize | 1676 |
| MD5 | 9EAB6493EB70ECD0BE9F7A96FF410B3E |
| SHA-1 | 00851F02F0D2A7E247DA8E0C56332304BAD1AEAF |
| SHA-256 | C78EB9CD7344CFBE604DF22F4F4649017559950A2B90E6280B684E2C4BA20FFE |
| SSDEEP | 24:TD2PNbFP0LluJ6MC8dQv7cnQ66dOJf6IihxQhrgh6E8xWl6upawo6Gl68nGipYKZ:TDQbRBI8Q70gKglkRzGEiWT |
| TLSH | T174313450B3C36C174DF8F1B99E27C8C4CCD7C4299D5D4C1279650EA662B8983A61EA09 |
| 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/plugins/nsatz/utile.cmx |
| FileSize | 1240 |
| MD5 | 8C648CD5410CE22538D2637AB539A3AB |
| SHA-1 | 010B31886564F2976163DC00AE2BAF4A35381180 |
| SHA-256 | 60E229D38C5D450C29ED5274D97E1A3FA37FE01207A9E98185B13F0620E9F9EC |
| SSDEEP | 24:GtbwxEEbFI55dv3aTr4YbeuHgcfavvHL62whDuD+CatTtg:GVETbQ5N3aTr4vuAdvvHxwOig |
| TLSH | T1BF217815D70D620B44DAB4F3D25A82F0D8ACC2496B388C27C67D1B263EB1B9E578721F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/g_extraction.cmx |
| FileSize | 6750 |
| MD5 | 754B09E7EF2BC1A97DE1551B976FF4BC |
| SHA-1 | 014426CF36874F30C173DBC4564B728225B51452 |
| SHA-256 | E34FF1A64274C5089E6D46EA6518B0E70B91286B6C405E7F8104F01BA00264D0 |
| SSDEEP | 96:Gf0H2wFR0WOAM93bQrxbEePV20rF74ForBx7gC9OsBZWO2dvDG4R0+U5uqD+M2Lj:GeaA2c5PV2074FCxB9OgN2VRo51D+M2f |
| TLSH | T106D1E664BAC2F83228C390B6919BC06041B487C25A7DC09AAF6B57852F71EFB5697713 |
| 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/syntax/r_syntax_plugin.cmx |
| FileSize | 5653 |
| MD5 | 2C555AFEADC87CD3F7958727A915E996 |
| SHA-1 | 01AEF13CA961D94D99A5A6E24D58EE9D80BB4E19 |
| SHA-256 | 446D15CCE71FDA911DAF32CF5E0206BED736123896E8E344C9B5A52A87657CFD |
| SSDEEP | 96:SwzH2wGRjXMgFbVryQorA77h7BsB4DdvVr4y+9lKCrvCHDeKNCV:SiSQQN717Bg4DYjlKYCjlE |
| TLSH | T17BC195749FC8781678ED8DBA80CA84DC4F7882FB5B29C49D4EB503C92A74F291193E03 |