| Key | Value |
|---|---|
| FileSize | 1580148 |
| MD5 | E528B47D66F74BAE28D25E7ABD00BDA5 |
| 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.4pl4dfsg-1 |
| SHA-1 | 4A048F6E1179A99589B5B4E4D5EF8AD28C5F4877 |
| SHA-256 | AB1AC9FDEBE1DEE52A889FE22BBE51CDBC0C527A8C13F58187A39FD9E8DBF211 |
| hashlookup:children-total | 51 |
| hashlookup:trust | 50 |
The searched file hash includes 51 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/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/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/ocaml/stublibs/dllcoqrun.so |
| FileSize | 28996 |
| MD5 | 152C970B3BC211364A8F23CBC45282FC |
| SHA-1 | 0F70DA6F3F676D85E7E894C3C457B7A9C8FBE25F |
| SHA-256 | EA5F4CEEB85A026235D6D73D914D4A46E9211ED24ECCF1E051C2C26F8232679A |
| SSDEEP | 768:uk08RsrMgTMAFH+THDwxr1uZa6NdlJ3m:uk0ysrJTMAFHewu5NdlJ |
| TLSH | T1DDD2A4AA7027550DC844AF7871A7CB90F243EABC1819990B632DE7F136E017AEB50F64 |
| 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/r_syntax_plugin.cmxs |
| FileSize | 19632 |
| MD5 | 126040F700FBB41A636EB101F3CB4798 |
| SHA-1 | 12BE11515806C7B0337850C2BB898B78620F2634 |
| SHA-256 | 1B267590367B0FE7CA71EB76C1651B8AD3311670E57DDCF71B8658F23B693E57 |
| SSDEEP | 384:hd42OXeONo2NizFhRkePBFcv3qAKmAYIlrWZYIVz8BBQ4:ZOXeOG20zFhRkurcvr8YQwYYGQ |
| TLSH | T17D920A97B78DE97BD4E8887CB18B0384B74588925DD28B122BB432C83F15ED85527EC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ring/ring_plugin.cmxs |
| FileSize | 130468 |
| MD5 | E537DB2DB9B4DC11107DF949C0E17356 |
| SHA-1 | 184DA80505509AEBCBCD3F08349B2E6BEC12AD0A |
| SHA-256 | 0ACFE6C3815EA8F90774BDCA4BA1793A44A8C77B85AD9B5B00F042C8B3F10AC2 |
| SSDEEP | 1536:CTOiF9JoXnprfC2dnplEf80LMMy4N2Qok93lV8PLVOpp00xaWtHHWOcw+v2sM+uk:wCRf9dnplqz5V2PAI0HJc52mu |
| TLSH | T198D3E893B148BEBEC44E967874AB5751627692813BFA8706B408F3742F002E55F3BDC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 81048 |
| MD5 | 56DE7F05943216BB1BF9087D16AD4898 |
| SHA-1 | 1BD615A6D5D2D1AC8C6D4F5C9EE4C726948EC4F8 |
| SHA-256 | 5CB7EC5F6F7995F17A1B5C0A68326644BF779C2BCC1B67EA6CC4C3AB05D2FF50 |
| SSDEEP | 768:hsYDTxOnS2Bxm7q56fcgwuqkjnLPgUtm8wkYMA0ocQi9GgO5EmGb6VAjmIAj6npz:hsiNOnnxMqQdqyIQ3Q+ru1 |
| TLSH | T1CF83D643F61CFA6AC5AE0934B1BF1B0563A1D58C7BE90B0B648C77042F418E46F6BE95 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 23151 |
| MD5 | F553F9024F360A831B3132B4832BB2D2 |
| SHA-1 | 2491C7D4EEE5A0CFE3000458DC17A2B7BB6EAD37 |
| SHA-256 | DE48E21E423B867214056F2C812D57450559617E3E9B445C188861EE62CE3B92 |
| SSDEEP | 192:/ASCHHkspijADyxIminbu2q7xAU9YtamXTLU2Z05UpbnDpL0rnhAIzqiLe2gCAiZ:/gHHksGQyxIKZejnjYAIib8YI7z8o |
| TLSH | T10EA2B847FB022AB2D0EB41B3CEE252C05366D5A25D874F1E2A5D475C69C3BB71EA2D08 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 7377 |
| MD5 | 026445BC59D4E1FC544FF2DE97198FF3 |
| SHA-1 | 2F1E4F53BF9C9064A24D729D1C1D2F3D5536E867 |
| SHA-256 | 7C077896CF1458B0EFE43A0FD75F93BE1BEFD23F6073904C6F25ED2707FFC2BB |
| SSDEEP | 192:s+sUEZi5YicmrYb0EQzKmObmaiPJNTNb1m+5H3kAvj:dvcIYYETmxk+pkAvj |
| TLSH | T194E1AE26F4CA1D79B79CFF09AAC90F67C589586148749289AC948C36EDC1845148E937 |