| Key | Value |
|---|---|
| FileSize | 16485392 |
| MD5 | 477520B140F8B783305F6938D633AA4B |
| 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.12.0-3+b1 |
| SHA-1 | 5AE3C9190B182FFAEE553C25B6EF6173D6C65266 |
| SHA-256 | AFC74DD5957284F5E00555E52C8703AB8E54C00ED79C26731C4251B1573EF404 |
| hashlookup:children-total | 1074 |
| hashlookup:trust | 50 |
The searched file hash includes 1074 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssripats.cmx |
| FileSize | 8737 |
| MD5 | 9055C7187BDFA636B16FB603E8D3980C |
| SHA-1 | 001F8D18DEDB7CAFE434047B874FA7357B696F2E |
| SHA-256 | E3B1C690EB91D96BABCD9EBBC7B11391B5AC826D973263DED0EAD835A0803A7F |
| SSDEEP | 192:pTdu9hYXH9xbL/yDnvS23Pv8IE0Y6uOl6vhd4p8GtBus+JOGJ:pTcbYXH9l/y+K38IE0YFehtkJO2 |
| TLSH | T1BE02E7B5B34D341238E391B3C509949298B6CF839F51CC6DE76FA2496C6C7A688D730B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrtacticals.cmi |
| FileSize | 7593 |
| MD5 | 08B04BD142EEDECF2E401B9D53ED63AD |
| SHA-1 | 0043B60396E8D49F3EFCBB61ECD94221EF922AA8 |
| SHA-256 | 1332757F2AC456E469BFB1D5972591F05100445ADCE04D0AE0ABE50E6EFB42A8 |
| SSDEEP | 192:ALAAqubjcgyoh/pjdu93YXH9xbL/yDnvS23Pv8IE0Y6uO6:zAb4wjc5YXH9l/y+K38IE0YFr |
| TLSH | T143F11ADC23423513FD96907EEA4A005B9AB1427EC7E9CC3F919642C056E189ED7DB643 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmi |
| FileSize | 5292 |
| MD5 | B7582ECD402C2EF70D9BFBCC5510A419 |
| SHA-1 | 005D0378F714988A1734E41C38D869F6F7523C6F |
| SHA-256 | 3124128DF3C02046D330FBF77F3B20D7E7AC116E781BBC7A3E21CCB3ECD2CF48 |
| SSDEEP | 96:1Lg/s/eJwWiT9AMKYyIDSxb11dW6PS+BQbkyS2mrqg0ZmEZHhg8DDccgX:1spiT9lySSxb111DHyS2A8mEHWWK |
| TLSH | T1F3B11BDE338236177CE281AA9185005391B04977C7F3CCBE979A93C465B58AEA7CB843 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/tok.cmx |
| FileSize | 1318 |
| MD5 | 602BFA773FB9E1987E9EF6AA1E2AAC66 |
| SHA-1 | 006CCFFAF418F22A165B18C0FA9426C13492D610 |
| SHA-256 | BE8A0DDE9886D7FF626613F601C6AC50328FCCB864BDF339E5A58D45A29A930B |
| SSDEEP | 24:7ip220nRiQDjTYMw4tAqJtwS654lm+0KcXgrM5CbvDrXxrOnqk+/Wnlqo+Hx:0RKRiQDjC0A8tngDKcXghvDlCnqk+eni |
| TLSH | T1FB2120E477913D9A7C56B2B3BCCC502E87711807AD20E432E9DE87872AA54B170D354C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/cWarnings.cmx |
| FileSize | 2908 |
| MD5 | 0C7712F4EDD5398C6F64D294BDD9AAC1 |
| SHA-1 | 00E36824582C8FBF18B7561DF54E10A06E0A0DA6 |
| SHA-256 | 9F8DA50854A81634517E0EF378A52CC33747EB56F5223605FF70C5BBE4E9421D |
| SSDEEP | 48:xTx8RsiQDjWAYDylKcaZoqQyEsr+kp1vycuy05rpW7/hApLe0WpH6ugc/EDbngm7:T8yiRAvccaZoqQyVr+kp1vycu1ZpW7/q |
| TLSH | T1B7515474E31CA4C6680512F528F961E68AE8C0C6CE13C57C968CCF5F35AA40AD7FB232 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/printing/pputils.cmx |
| FileSize | 4006 |
| MD5 | FFD1E2F7574818784FDC346AEDB33D63 |
| SHA-1 | 00F8188850EA45C1D36B43A9ACD110BB00DA4EB9 |
| SHA-256 | 9E7BB893B3FCD49F99F4D86DDFB27D8773632426470E3A9763CAB3AFA6A46029 |
| SSDEEP | 96:47JuWirA11fDhH19dW6PwBCZmI4g8cDcDg31gdpLA:mir0r5191WamIHB71eLA |
| TLSH | T1D281E5A97381364372A2A133D68E5052DAB154838A32D878BBDB528615A0CA3FBD7242 |
| 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/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/vernac/comFixpoint.cmi |
| FileSize | 6862 |
| MD5 | D0F5CD8E713037F6BFE961DDDF618B70 |
| SHA-1 | 0226B5509628096ED919B639EADF85664BB50F72 |
| SHA-256 | E7BDCB91DB52D27E8712EBCA23B1A7DA765EF225847A4D2EA4BAEF21F1583029 |
| SSDEEP | 192:15jHLiC9RNqLbEKjiT9XySs1/1EU8mEHjW7:HL9CH0la/1j8mEDq |
| TLSH | T1B8E1E6ED23427993FD9091AEE6C9416B0670463FD2FACC7F568603C102A042E97EF263 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 15981 |
| MD5 | 912E4A4727F2C6C430C2A183C46FE785 |
| SHA-1 | 0233C6521BA5D21E7FF3BB9E8AFCC9EA11185DA7 |
| SHA-256 | 54973F477D8F335795F04E89FACC64ACCD370EC4D3828BD06834302E44CBF073 |
| SSDEEP | 192:xo8ZlolFbClvgOtiDqBGc76GxyMPsAU8+i0Y88VXdmBH0J6mtn4ma:jZlAGiDqBGc7WAL10Y88VN+0J604ma |
| TLSH | T135729DDD528FFC41E4A035ADC95CAEB28D2AD7D70FA2CFE544E94B027E44AE20587306 |