| Key | Value |
|---|---|
| FileSize | 22259280 |
| MD5 | 6E5F5F1A769525120227E5136D69EFFE |
| PackageDescription | runtime libraries 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 runtime libraries for Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-core-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.16.1+dfsg-1+b2 |
| SHA-1 | 64A18750D182CDA9105F94E214AE4F9A485F9456 |
| SHA-256 | 5D28885232214A570C5CE83630331A225A25E7F682D941C02EFE88C628EADBD2 |
| hashlookup:children-total | 81 |
| hashlookup:trust | 50 |
The searched file hash includes 81 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/ocaml/coq-core/library/library.cmxs |
| FileSize | 239280 |
| MD5 | 099FD1DA663DF1CA11A4D56C7B5787E3 |
| SHA-1 | 05F8B72B22BBB321DB5C688A50BF8B171D91A1BB |
| SHA-256 | A62BDB6409CC9F1B23C5E806AE8CBE947D2EF3FEEBC81F169FC8FDCA997769B2 |
| SSDEEP | 6144:AVkX1pIHa+PsIXF1Xwx8KhEtkqSvHczzpP6+e+/e:AVFi8KhEaf8zzpi |
| TLSH | T1F1341A49BE88DC16D0664131F4DB0B92B331E18A77969F02B99E637C7F432945E5B2C2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/vernac/vernac.cmxs |
| FileSize | 2856840 |
| MD5 | 3E031EA4E62F5FCD519370C46AC95605 |
| SHA-1 | 064570057EF5229595A9CC034EE82D460B981174 |
| SHA-256 | A22448FCAD8E76DF088CC9F760DF62989BBAFD6D312FF58B5E35348AA5304D02 |
| SSDEEP | 49152:fOtsZFAmDXesJodaDPfCjT9L2QN1QphKmzQJGmAoukZlTeSCcBNU9/9KEJdaBbc:WtgFAlhsOjNg |
| TLSH | T16CD55C19FA4F6436D25A8634F8AF1B63F36292C153EB5A19580E11403F9317A0F6B7CE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/printing/printing.cmxs |
| FileSize | 293232 |
| MD5 | 0F545BEDF391B5A68E85EDCFD52D3118 |
| SHA-1 | 0750D15E7D3F4D7F598E4B341AB082E891D8C5E2 |
| SHA-256 | B69C9439C6FF21C50D3D54948620EE26E03BC40BDDB9C5DD02DFFD9DA917BBE5 |
| SSDEEP | 6144:0kpk6cHwm5s3CoaO39NVjKlxV5XvoWHdWSE7Rym:ncQCSRdZK/VZuSE |
| TLSH | T1F0543A45B658AC2AC0574636F09B0A93E372C28237E6DB46B80E13687FC31655F6F7C6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cma |
| FileSize | 180585 |
| MD5 | 8879E7D11463A6394F3BC43758B5BA2A |
| SHA-1 | 080A36EACCAE4379E9DA3CAA2052BB2CBBF34237 |
| SHA-256 | 74DB7F55E9034E61A665F31E2D3D9544A43E0E0676692AF922FF60A26C1E56B5 |
| SSDEEP | 1536:ZIpvkU+oTCtxVbytHHaL2e9DiqOYJCFLXpiHczVZ8MpuIkya7YAJkrh+SoPdnqCt:S5k3ACPVbLncYYniiplkhYA++VRK3Gv |
| TLSH | T1CC04094FDB261A66CCA909FEDCEA429747E4593D40D04D3FC09B0AD9D882B0F2F91D5A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/top_printers/top_printers.cma |
| FileSize | 199593 |
| MD5 | 4D6BAD4D01739CAEBA23CADAE4B16D4D |
| SHA-1 | 0E22C6B23EE1C4C0CA050242D09AB1E95E71520D |
| SHA-256 | 7F873B013CA8F1C8215DBCEB6B9C5A6841AC1279D181B5F5B7D323753C16EF08 |
| SSDEEP | 3072:dxFkKLNcg88HIzQmCnhs+MdliKEaC2xiNBwNf67F8LFWntwILk57HWTzYe:dxFCeHHmChsL+KQNc6J8wqII57H8n |
| TLSH | T19D14064FEB126EA6C9A989FFCCE541CB47E2492C55925E2F118B43E9C043B1F6F00E56 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/extraction/extraction_plugin.cma |
| FileSize | 1755496 |
| MD5 | BEB53267776BDE73060CC5985658D05C |
| SHA-1 | 14BE87F69EAD76B35F9B06825250DC4DE3E2E214 |
| SHA-256 | 51B7A454AFF3066B81785E92162AF04488D8884B8504075DC1E3F2A4D897255C |
| SSDEEP | 24576:OVWw2nw6OmZQekhNfFvfQTFtismB5QWfkBuFicNzZGk7oN:BjQsmB5xFl74 |
| TLSH | T11D85290FEB9669B5CC9A49FE8DD942CB07E1592C42834E2F469F02D9D543B1F2F02D86 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/ring/ring_plugin.cmxs |
| FileSize | 178136 |
| MD5 | AD0185DF645ED4DEE0F0B0E50C59F64A |
| SHA-1 | 15B3DEF2C7D9D80B48D583C8F8D7A33A0CC6F50C |
| SHA-256 | BEAF3DBBE1686006409F280F7432D73AEF0956F0E492B8290F9030BED4AC3008 |
| SSDEEP | 3072:oZgesBhFvZysam9tvMBrOyQwbVeeg23HBz7:JBV10B6E4V2Rf |
| TLSH | T1CC045B04BB8DE05EC0666734F0EF5A46F335C28467ABDB0A2919D6B87F420740FAB5C6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/printing/printing.cma |
| FileSize | 692842 |
| MD5 | 9B5ED50AA32A1D0B82764881D2473C43 |
| SHA-1 | 16494DCE41C9EA1CF7C018C9C3697CEE632D1447 |
| SHA-256 | E98F6F196CB32C0CCCA647C3CC850D0F641761299E0DD8FE2C6F698318F60D54 |
| SSDEEP | 12288:SZBni1uyY2L1g/v4hRseOvRlOlMhPtaRap7wKtxC7CHehL:QnioL2L1/PlkKw7wyC7CHeN |
| TLSH | T1EEE4074FEB6669A9CD9549FE8CD9428B43F0093C51C24F2F819B12E9D143B0E6F52E87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/micromega/micromega_plugin.cma |
| FileSize | 2509259 |
| MD5 | B268C8DDFD39B1053B0492E5C82FCA55 |
| SHA-1 | 19D7776C104CCB3921E8629D288CE0C374CA1517 |
| SHA-256 | A4A2919CF4B75177760D71A2A360EA731D32E24A892C974B61C8DF44C7179D66 |
| SSDEEP | 24576:LnZjmBcp45RKX2PVds+IHZTcEZZc6RSeYjbxWEyaqt8II2Pv7PSSjgTCivLkgXll:LURosk+0rAdmi5Vl |
| TLSH | T1DBC5184FEB5A5665CC984ABD8DDE629B06F44A3C83D34EEB819F02D4D84270D2F41E87 |