| Key | Value |
|---|---|
| FileSize | 5682652 |
| MD5 | 01740C513C2E923683076815DB0AF9CA |
| 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-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-2+b1 |
| SHA-1 | 0F8454E1E5FDFF36BBEEF2455DDFF9F5007EB503 |
| SHA-256 | 49C71675121E28ED2910AEE221AA84053ABA9E77B16F4F6B3710A82EBDE36A50 |
| hashlookup:children-total | 50 |
| hashlookup:trust | 50 |
The searched file hash includes 50 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/plugins/btauto/btauto_plugin.cmxs |
| FileSize | 65472 |
| MD5 | 34D1A337C5FB8DFE731710D9EF90E70E |
| SHA-1 | 0104CA5F8F71FA77F9D09DE40D9D43997462DEC7 |
| SHA-256 | 4596677254911E4868092E30D2B73C5983C24A8ADC587C6C34039F8FF9C28C1B |
| SSDEEP | 768:VqCJy1sS1VNsgtas+XEZqkeGsNSa52TX4ZX:30HNkzEdnmZM4ZX |
| TLSH | T1D553F76FBAA4997EE0B4853689CF82717BB1F4415B70930316E86B1A0F521C58F9FBC4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmxs |
| FileSize | 241928 |
| MD5 | 8FB8B8313C2BDB393C819E51F847BE4A |
| SHA-1 | 0422107C82088A0F37B4601156052F90DF8D8F4B |
| SHA-256 | 03014E3E7060E6153062D5B020F16FAE8979A4F2347415B12C2C98B90AA9D537 |
| SSDEEP | 3072:PdY0BxbxceQenjskAk3vfjkw0tH3r9rNIOJAnI5wUx646gPPn0JmJ:z1Ntx1ax646AJ |
| TLSH | T1E934B45AAD9E8DBECE78863984CA16B57FB1FA0457A1D34321D027381F431960FAF6C4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8280 |
| MD5 | 35CE9520189025A6AF9508BD73F6F151 |
| SHA-1 | 0CA867334EF2C077D16184837FBA6DC8C6CE6A96 |
| SHA-256 | 6C8ADE481BE5199873C4C81FCE9DC4B4F11015E038C7824D927275E3E31392A7 |
| SSDEEP | 192:gz6OxEFVzzCcSXjsFo/K2L01aYP/goRDbIyZnlnh/:SEFBCc0rLap5Zxh/ |
| TLSH | T1EE02AE2DEAED3E18B5F043D468552A03E523530930DB02C05FDD25AA6EE0CF97E9B1B6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssreflect_plugin.cmo |
| FileSize | 2881058 |
| MD5 | 6E89927470F6A75D24DD99C0637CAA06 |
| SHA-1 | 0D04AADE79476CED2149BAEADA8A80C06163363D |
| SHA-256 | 9ACABBAE979F75577C5D5139959539E9867CD73BF992E9077BA91CC65B79585A |
| SSDEEP | 49152:OAqSRR5aQ8DJx5dEXVC4LVChGO+B1J9lodB7DJpMK21LnkXI/ef2FCgiacltUg4D:OAqScrk |
| TLSH | T165D5B84F76585E60CEE807FFC9C405CB02285665AB438DDBC15F12A8AE8A7462FC794F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.cmo |
| FileSize | 35621 |
| MD5 | 04266E8CE52DE935AB9486CC0B125F40 |
| SHA-1 | 1411E8462175E317E9BE3C05ECFC10F918F89E19 |
| SHA-256 | 06924BF68457379A8F86618FF49E04BFE047D67B265A6275B12196598457EB8D |
| SSDEEP | 768:shiQEXN70u9bl0cfzik3pgUtwxleT5H9YThp75Z:shiFXlDZdYlesH |
| TLSH | T190F2700B75C65C61F8ED1DFD98D561CF4B2A06B9A1C2C83685FA46C948E1E1E1FC2E0B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/ltac_plugin.cmo |
| FileSize | 3622090 |
| MD5 | 5B6E932966E578CA2477EB188558BBE3 |
| SHA-1 | 1B0BF6D6F088CB8833E5E803991D88F9ADD70A3A |
| SHA-256 | 1E3E0F4C6BC5426EEA5EB5F50A8DB9275A96827E95AFDEBD020F29B106B2EB84 |
| SSDEEP | 24576:+fCPJ6/3sQGUl9NO36MYXbBJmVw4weC6skI7AXi1tZa92d8Hv0i5hNQ2IV4GXQQK:8TqwKv0i52rwmftkr |
| TLSH | T191F5B706754B5E60EDEC0EFEC8D543CF03184AA867C789AB51BA0AD55EC37092FC664B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmxs |
| FileSize | 214720 |
| MD5 | 1D8A746F076636372A9EF9C5496EA898 |
| SHA-1 | 1EE239F63933F5EAF5E3DD2EDD3D68A7390540E5 |
| SHA-256 | 50E9D9B3DF9D3B17C30599468EECFC05FA91391CAB3454100DD358B6EF87F358 |
| SSDEEP | 3072:50YUyHeuYKDWDsP9WempwH6V/zt0yQIQb:CujJ9WePaxtWb |
| TLSH | T17D24D7576989CD7ECEB98138869206B27BB1F8505BD0D703259033392F8359A5FBEBC4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/ltac_plugin.cmxs |
| FileSize | 2275832 |
| MD5 | 5426ADE033D42A381D04733372DE3F7B |
| SHA-1 | 2A30C5763272265281BF5EFE2CE9D0F10197EADE |
| SHA-256 | CD47188133100B3C22B8012BA0409F49CEF203ED4127C0A6A4A7B452FCB2F11B |
| SSDEEP | 12288:ZYkUOZEXH/p5ygaYYG1xA+tVUoanK7YJhIiTZlv0Uw8CQBPjeBU1ef9U/UpKq:GdOZEXH/p5yqzpU1neMZ50J+BYlq/1q |
| TLSH | T1A7B5D82789674B7DC3BCC33D85510AB63EB4BA108BC4771A19D06A502F9319B1FEE6C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs |
| FileSize | 255768 |
| MD5 | 0F36B808CFA3DA0F8637BA702CD33E8D |
| SHA-1 | 2D42C9071CA26AA552AE43E204EC97D57C345BFB |
| SHA-256 | 627E6082D38288B96B0E54C2A4A13B3C521D3131DA6D46063CC273DC83B221D5 |
| SSDEEP | 3072:3fOXFLf7WsBUoaNkT0G2Hy5Z4l13A7txFRpS+TSO1+cU8Ak2hDnH9cIJ+lRNABWY:mXFLnAHy5Z4lMMn3DkyH9cIJ+lQW |
| TLSH | T1E244F816ACA94E7DCEB9913A84C306B27BF1B91447A0D70766D023391F43B5A0F9E7C8 |