| Key | Value |
|---|---|
| FileSize | 14093620 |
| MD5 | F0BEFBE576ED17543CD6FCE3FD1EC9CD |
| 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.1-2+b2 |
| SHA-1 | 751303A5C4E53EFFB3B8B170D905C8CC2274E755 |
| SHA-256 | 6660DF908E7AA8C55999DAD6196764012C7B474003EE371CD6F56C6DB7010E21 |
| 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/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/engine/univops.cmx |
| FileSize | 1383 |
| MD5 | 4D451D1486523A1383FC49B0A3EC9CE4 |
| SHA-1 | 011157A2980BAD8D3BFEB9F4A034387C5AB5C2EE |
| SHA-256 | F26A37CDB5B9F3AF18F2FF150522A4490E246DF1982EA8EA550CAB9CA03E487A |
| SSDEEP | 24:72E/W/Vz220nRiQDjTu/SJMw4tARN5cr4jBoXmBocNYZayQRpeBZUE+NI8y:CPVzRKRiQDji/SF0ARN60NIoeBo+8y |
| TLSH | T1DC2183A53BC039ABBA231673FCD905AF5334000BCAA2D57993DC42088EF492591F6A05 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/loc.cmx |
| FileSize | 1231 |
| MD5 | 1A6D3AC445440F937A12374E7C31C67A |
| SHA-1 | 0139EEA40CA6FA324C0A1826F96AEA1227D79978 |
| SHA-256 | 7B4685EADB04905A8AAF33B70AC1E7324DC1495DE11907A91B891BAC9C4934B7 |
| SSDEEP | 24:7P1AWAoey/6hv79EPgeiCQxEhCX3CWOjCSyc9KG8froo7B:r1ADySqpycD8fB |
| TLSH | T19121CA40A5A6EE53A801F67EE8B29150CA50F35CBF01C97698740FDA76C18A5BA272CC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.o |
| FileSize | 29456 |
| MD5 | A91510ADD4AAE310E43F418F12E45D49 |
| SHA-1 | 019F562C377631F9622879EEB39ABC3F734F678F |
| SHA-256 | 74C74A4416151F21910DF977550B6BD3342030DB615CEFF8BA17045B764E4010 |
| SSDEEP | 192:b4to/eS3v0HJgZykUh+ELu4X148bDx3lx1JDA2NoqIyRHyi95cqjRw2HR/:EoWiRyp+x6PbDxRJHyi9GqPR |
| TLSH | T135D299127F8B4D2DE5ECCD38406263F86B79EDA96E1077072AB0B35D2E32E184E51C56 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/terminal.cmx |
| FileSize | 1498 |
| MD5 | A15E7A5E79DAC5E3415E321AA9D4F5B5 |
| SHA-1 | 01C9C5BF40155D5E5A1EAFE3A8432EE9E1729137 |
| SHA-256 | A77A98E313649A22FA6DC39E498D477D8331E9549AA3550245A1C2B2BF17B5CF |
| SSDEEP | 24:7fry0l22UjTa2RTAXwOqpTwJVBEFpRdYIIHWKij8A2lJ:Py0fO2WTAXwrpTwBEFpR3dKij72lJ |
| TLSH | T185315A219F3AB762F142D33BE952273D8A148A767C20E0765DB9CA0663D2AC0F4C3242 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/pfedit.cmx |
| FileSize | 5626 |
| MD5 | FAB393C82AC6564CB7BEB02B6FEB64A7 |
| SHA-1 | 0205FFE5FA643A8E2F4EC4033EE80BB87E72D544 |
| SHA-256 | 4A1EAC14AB15A44C93FC47412B76ACD994F5C9D0112796E4301FD72F749E5B11 |
| SSDEEP | 96:VET7IWiWAGN918bqWHVnGyPdDStUI1qJ2mNALgGRwfzKn:V4iWfLluGyVJUqJ24ywfWn |
| TLSH | T1B2C139F763223556B16645371AA7C17AC920C0678F81CC7CBE5E0B45CCD9991B6EE20B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 12182 |
| MD5 | C85129CA6F40EF31EFA90EFDAEB34188 |
| SHA-1 | 0214332346B40C8E3E6F3AE80C7BFDD48CAE46F1 |
| SHA-256 | 19CA398B2BCABE95B6958F98CADC6EB1B0C116F252A12C379B6621BE9047FB71 |
| SSDEEP | 96:3AIwFJRVWmR2ndZryIu+7y9QEGpq47C1odG+XV+EvKxBBbTkAncR0MSyOQ+ENOfV:3BqR2dMIu99ztA/TvKx/oR0bylOIGwG1 |
| TLSH | T173427ADD528FFC41E4B0356DC95CAEB28D2AD7D70FA2CFE184E94B026E44AE20597306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cThread.cmi |
| FileSize | 1091 |
| MD5 | F51AF43798669BDCCE2CDF258F367535 |
| SHA-1 | 02FFD47D199F117CCA54607F3F5428DFCC890506 |
| SHA-256 | A459E4CBCA89496BC856A0AD021CC14DB0A30478232BBF48B1BFF31B3544FCB5 |
| SSDEEP | 12:ODzDCDD6KM/XmdOEaIkz4mCNbNwiHcnmF+8vys0bMXlz4mfIGvL1vV/0oNtt/2rK:ODKD2pIpbvP+V7MsQbDt/2HERz5j7AC |
| TLSH | T1B011CE9DA3684568DC05512DA1C706BF6B3322BEC2F34C67C6698FC4A05F04C934AD87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/summary.cmi |
| FileSize | 3221 |
| MD5 | BB7DC7ACB50671B0E897EE966AA10042 |
| SHA-1 | 0304E31B24AA9402F5B1345CDC7678CE35E4833A |
| SHA-256 | 6D315B27072F208F1FDF9A6CD5018318767404B71945AD2B738F07F7761F276A |
| SSDEEP | 48:brJLLSr+PSUrakrxk66gYylRnM+q/XNp1Cv4ZeyGwv9aMJwWx/9AiCwwgUKRgmEg:brJRlu+/ylFPJPFQwwAlEu6AR |
| TLSH | T16461446D6F569396ECC946ADE584C7AB6820473CD4F7DC3F60180BE4211222C676B2CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/store.cmi |
| FileSize | 1039 |
| MD5 | 7CE41D8E6B4A2A4E217E9E5B1E42BDFC |
| SHA-1 | 03646CC6A1BD9B227B0E52A878EEE4B93A230FE3 |
| SHA-256 | 71AD42588EE3915655916DB4617CDC3E4F97EEED32611DF1D7783A1CB36A72B2 |
| SSDEEP | 24:cZiAq96lOge8pzhHtnwGG+lOhaC0Ct8nlOkeuCAC:cZijie8pDnwK+aIalO5uCAC |
| TLSH | T15F117A2E8F454E16ECD825BD558482E76C2013BC98F7DCBF45098FC5908604D077F69B |