| Key | Value |
|---|---|
| FileSize | 23093000 |
| MD5 | 91C13092CB01CCAF067BFB468557D728 |
| 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 | 01E8792CC3DD055C15668BBD4FD68F016312C67B |
| SHA-256 | 14703B9445939F167FAF09D0B81169565A7532421AAAE0F00D621CFEE3A7951E |
| 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/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/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/config/config.cmxs |
| FileSize | 70104 |
| MD5 | D5C1837CD030719BAB9B83DFF094AD26 |
| SHA-1 | 19091AF67E87F7B3CAEA433CFD158AC518BADC2C |
| SHA-256 | 8085F7360CC971198366A3BFCF11705B0C0B772D2ECC22E6E46E6B528231037C |
| SSDEEP | 96:FSIkLRe4CGK+UlSVOTBWBCyBP5UtbS+hzrryUIJS0A/mbwUFOtFVRfwezUbHVRYn:MTU4CGK+bUT8BHUtb1hT50CmSFYezeI |
| TLSH | T13D63694FEB8EFDAFD6295D7A9662C3983A70D6C23BC1C3075136B9383D432941D99842 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/parsing/parsing.cma |
| FileSize | 818856 |
| MD5 | D6D6518501B67E56261FC69F61CB1B59 |
| SHA-1 | 19F45D1EB88418E7D45135EC58E3C3060A845079 |
| SHA-256 | 0EF04685BB2177B140F91A15EBA33667B23EEE5A4FC4591D21C8E4299A8356C4 |
| SSDEEP | 12288:0Ut3l4GpRVL+CRFtkw9r7Zki0N9GWNCljXDcdpJ4gDpYv95R92W:0UjpR1ROZrGWNCRQ7s95R92W |
| TLSH | T1D705F54FD7861A66CC555AFECCE98ACB13F0153DD3464AEF819B06CAD042B4B6F02D89 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/boot/boot.cmxs |
| FileSize | 79656 |
| MD5 | DE5BA9DFB0E418FBB4D888770899D743 |
| SHA-1 | 1E3FF3526B3D8FBC3F707F9CEEB80191C84B3CAF |
| SHA-256 | 9173A9A13A30A76737C31932AB04288C3630215383ECB763CD6A62C1793272CC |
| SSDEEP | 1536:pJ3578e1Du4kmJ93jXHhjRO/+txlXekA1GNGxVTRDdJnx:xURDd |
| TLSH | T1EE73926AFB9CD82FE44295B29E058794B33AD509BB95570B341F373C3B8328A8FD2550 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 184872 |
| MD5 | E5BA712A0DC07CC34FD0AA84BA62E61C |
| SHA-1 | 1E98CA23565E409EC9C8E30DC5438AA798C9D0C9 |
| SHA-256 | 88FAD01F846BDB110407C636FDD7F7E61145D0324CBCEE44AD11938A0D33B8C8 |
| SSDEEP | 1536:xm0LnnkveWwLuQASvebFnudODF7b3Y39v5f7tx/2LS:BLCvuebBJ3Y39Bxx |
| TLSH | T11A04F66EEBBCFE66DD6608320B5E07DA3738C6851361C30341A1EB243EC76E55E9B650 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/ring/ring_plugin.cma |
| FileSize | 354009 |
| MD5 | 31BFC6DF9F63BA0501463242D025FF7C |
| SHA-1 | 26F2182FF1CE33806D113C8AF3659273F0E7CF99 |
| SHA-256 | 7623C18484ABCB8EB5BE4FA5905AED60BA172E8BB71EFEF2C64095859D991263 |
| SSDEEP | 6144:OZ6yA2uQh9VUlOwlTI7mGay1zOzdMpKA27pKtW9e4fYoDW2H2oFGCh:OZ6yyQh9VUBk7modYYBMxnFbh |
| TLSH | T1E474E50FEF5569BACC9449FE8CEA51CF07F1592842878E6B015F02D9C58371E6F42E8A |