| Key | Value |
|---|---|
| FileSize | 1529756 |
| MD5 | A449C649D7241C116D39AF9D20A529B6 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 857746C109485DFA52493DFF341FDD1F4D504407 |
| SHA-256 | 13B713D2CEE1D4197E3BAD3BAE2A859FFB4FCCFEB91F79B302320A2B0D25E906 |
| 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/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs |
| FileSize | 33948 |
| MD5 | 5D41AB94EEECE2B68F179915CE0866F5 |
| SHA-1 | 00630FC6327BC84D3F1955F5198B32D3D4509451 |
| SHA-256 | E118A41A77E59BD7A771A98ED44E34C65FF4C39BB4409E9BFBBCE8B44A5EBE9C |
| SSDEEP | 768:KWBUyeBz7PXTFrHx+SV0v5cBuD9YXjHRY:/BUTPiUuh+H |
| TLSH | T18BE21983B2BDF53ED0A8C1B0A48796167310865CABD78B967C5961843F170DC6EA6FC3 |
| 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/rtauto/rtauto_plugin.cmxs |
| FileSize | 83072 |
| MD5 | 0B32901615B11E9EF5AA8D2ECD2CCE3A |
| SHA-1 | 05091E47C6D9BAB53E307706147DCA36E8D25E9F |
| SHA-256 | 06B34C29906EF959027D66DA8BD81A366754D86BC8326A5B56BCEFF887A1E2F9 |
| SSDEEP | 768:n++s4aa6wD2BrJcsul5Vyd0fcXyIq4jnLPgUtm8wkYMA0ocQi9GgO5PmGbpVAjm5:5sbS+rJfcVyd0uqOMQ3Q+C5Zpl |
| TLSH | T10983E643F60DE97AC19A4938B5FF1B11A271E5416FE90B076448E7342F418E82FABEC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cma |
| FileSize | 285741 |
| MD5 | F6C64F168AF1649B3018AF813CFD3170 |
| SHA-1 | 083B2225B785DCA7DA3974BE6EF919070E5419F8 |
| SHA-256 | 2E67AB7CCEA06DE89BA1E0C6776F60EB0DFF1D9CC04890612992732D55E7F3FB |
| SSDEEP | 1536:c8Lh8SM7WnfYQdWtLGxPBWAMh44HHiMUOH9ZUdEpBVaLSWyJ+J3jt6jyJxWyJ+J5:rnpYKdVbpzOr5SbDNVOAPeOxl08hCO+ |
| TLSH | T17054BC4AB7015EA1C1E68BB1C5D78B992335E776DB030B1F608C976C2DC3B5F2A48798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
| FileSize | 23760 |
| MD5 | E8ABC7C6E0C222507C6C9F531E84F5ED |
| SHA-1 | 0B17D7D5D8C8B1145F6DFE07065A8AA19727192A |
| SHA-256 | 6DF062E1223597882865FCAF231837DFF83D5FB0EC09E878F164ADF15AE50C3B |
| SSDEEP | 384:lA0tnM9u2eSfVXUKGajdL76SXMzpviDPJ5hR6dvgd+2WuX+YIBB9dYIAz8BqNTr6:Gequ2HfVXUKljBU+J5QvxpuX+YYhYjb3 |
| TLSH | T131B22C93F75BAA3FD4D85538A09717446360E18CAAE74F032C9822C43F68ED85D27E93 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmxs |
| FileSize | 549652 |
| MD5 | 104162A85951B64B44981E79F9F6514D |
| SHA-1 | 0B2DE4835EC569083A984F4CD48A681A0E563F9A |
| SHA-256 | AEB1CE31F2A8C717E6A9536BDB0AF9B90E5B04054861FE4DBFBE57FB360B2D13 |
| SSDEEP | 6144:gqnFatEm6YTLMDrQswKomZDJIAEuKuyH5ByRim3aWWKiPVzP5G6ss1qrXMbOrxCA:zn6GYTLMoswKtsAiny/WK+26zweOrx4 |
| TLSH | T111C4D893F88DBF7AC09E9536B06757709364A6C52BE99B076A0872103F612E4072FFD1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cma |
| FileSize | 373234 |
| MD5 | D806596C321C2F6D023D3C8B40ED7D94 |
| SHA-1 | 0DA49E087F567996AE0B9CA9A632DC781EE0952C |
| SHA-256 | 19AB980AB3B926182AF64913BE5D1E4F60EBD6716F1F56C276EF94B646C55C58 |
| SSDEEP | 1536:1i2UxB1PsrzrqhE5lxtZATVgto0R/2s4tThYwtBUsHA5My4a9kcNkTROUC9ga2Gu:N6EJMBg1QsYlYMOlkTR7SnmzqYUMpT |
| TLSH | T1F384304BB7014EB1C4E7C9B3C6D786C41326A6619A430F1F259D8B5C6EC3BAF6F81648 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmxs |
| FileSize | 152880 |
| MD5 | 758D514FDFD59E4EFF44E1F5568448C4 |
| SHA-1 | 0EF9166838985D8BFA5D625562E88EF528E9AA89 |
| SHA-256 | 86BDCDF17CD3D4F3D3A35893C047441584479DD53DEF4BB5F94A837102D1C1F2 |
| SSDEEP | 3072:5mHb93ms2vGDqS06ao849u2620z3MAaHhp:5g9WsjDj06l849d96M5 |
| TLSH | T16BE3D4927949BE6EC88E8938755B1B4053A4D5823BEACB03744933286F076E45F3FDD2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma |
| FileSize | 6282 |
| MD5 | E740DA10F124194DE640F0EDDBB1FE40 |
| SHA-1 | 11D367D19DD73604B515732908B1CA84A6A4BB40 |
| SHA-256 | BE820FE4A3EC838815CD9564F19C86CEA28CAC8188481750C55D849AA29C6243 |
| SSDEEP | 96:fsAQLZMZBFExAx+YtKAPbT4itPVAwhbmPAKYtKNXoPbcCwtIVROphbPAf:MWetYISQiJ2i4AKYI43wyzOvPAf |
| TLSH | T1C4D1FAC6E7027BB3E1EF05B7E7D2419D03B515935553C97822E807987C8BFA336A2A24 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmxs |
| FileSize | 14660 |
| MD5 | 62BEED02C99CE6E464186EB6B36FD10F |
| SHA-1 | 15A3F6ACD9E3983F520CC534A238324BFC0BD9F0 |
| SHA-256 | 2ED45C0DBD8E49002F1919BF24A492770D2F2B9D37E6836BB372E2F17B505878 |
| SSDEEP | 384:XZ6FcnTNXCpFiXVj4KGCLv6jYI8rKYI1z8By:yKNXCpFyp6jYhOYO |
| TLSH | T1CA621997B68AED3BD0D401F5926F070423A8C6C96BC68F12F9A433842F579E46D31D43 |