| Key | Value |
|---|---|
| FileSize | 16866260 |
| MD5 | D2334B7EF9C3001518A350551FB6F943 |
| 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 | 6E1070C7D304AC7B03B2D3301D327A8BEEB0104B |
| SHA-256 | 47EEA76C3FC5835E327A9A0014CD22D9C95099365EE0B8922ECFE5F1F7BA29AC |
| 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/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/tactics/genredexpr.cmx |
| FileSize | 3371 |
| MD5 | 779ECB0E002D501BA0B6D2ECDA6390C9 |
| SHA-1 | 009C29566829756544710AF581DD9A3EA1FC29BC |
| SHA-256 | AE855DD83ECD599F2F410B264CF5B7888F1EADD9CBE440DFA627E2BAF9D634F7 |
| SSDEEP | 96:j47JuWirA11fDs1/dW6PZTCZmI4g8cDcDg8c42nQ:Kir0rs1/1xamIHBb42Q |
| TLSH | T123612A8973C6769630E9A736ECDE00466570140B9B22C8BDD7C693A506B5C37B5C3587 |
| 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/printing/genprint.cmx |
| FileSize | 5001 |
| MD5 | 55C84EA3CAF53A834B9C1430C0A9CDF8 |
| SHA-1 | 01A3BFE9CC56CCE4A95CC8E2F2D28849F550985A |
| SHA-256 | D0ADE7E0472EC6371E3B30C9EB1835E871C549190F153C3403A792A84E5D12F4 |
| SSDEEP | 96:K7JuWirA11fDs19dW6PITCZmI4g8cDcIgjgo4z41pxb4AI9gh6e9GwGnIe:8ir0rs191EamIHBQgo4z41ph4RA9GwGJ |
| TLSH | T19AA1B55577CFB7C720AA5B34C8CA52865F33A0835AF0F8BD61C857EA5461C26A7D3046 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tacinterp.cmx |
| FileSize | 24943 |
| MD5 | 2229FD530BE2373BA4B803423A36D060 |
| SHA-1 | 01BB8C65A9E05D618400FB38E24DFFBF791B0263 |
| SHA-256 | 57CCD77A062EAF695C4C1438C70B3580677DC4FA3F15E7342494BFF013258787 |
| SSDEEP | 384:sGHVC2/z0Kc86EfFqMrey0O5w2ekAoQT89CWFx2LEW/fSTYeQfiZ1a0:LVT/Zc864QMrn0O5xekhQA9BF5TciZ7 |
| TLSH | T110B2DF24570B3FE2B0E948B6D714D6D2882DC2955BCCC86561B94EAB3EC2921D3DFF06 |
| 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 |