| Key | Value |
|---|---|
| FileSize | 22290168 |
| MD5 | E1AEF5952D1ACF849FCAF4AF79BC5732 |
| 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.14.0+dfsg-6 |
| SHA-1 | C746A3CA87D0F3EB28C5101DD5C04D01D090ECB2 |
| SHA-256 | D63D76F24786CE85E551B048617653B6DA0C1FA5AC0337A3A84A9C862D3D728C |
| 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/coq-core/kernel/kernel.cmxs |
| FileSize | 2694008 |
| MD5 | F7B7F4C8D2BC89EEA8F67CE098C569D4 |
| SHA-1 | 01BDAA35223E4F80D0F280541C5D323B2D57F648 |
| SHA-256 | 2054618FBD6AEA49CE4ACC857F9FD534F90BF1C795CC70779D0F96B669F76A06 |
| SSDEEP | 49152:qQPuxRksWEsj61CfLNJv1zzisxjThFMq7gtqPPIWlpYQ/i:1PuxRksUF |
| TLSH | T1AEC54A07AFD2C8BDC6BAC274C86A0775BB70B5A51A50BF2B14D4A3101F4366A2F6D3D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/pretyping/pretyping.cmxs |
| FileSize | 2597552 |
| MD5 | DC30F04FE9A6F9D80ED5632DA66B0C04 |
| SHA-1 | 022DD43EB13109600B188BDDD84C246FDD246D9F |
| SHA-256 | 81EC9183C24DB512CC8E76CDD890955936ACF23EF2A254FC91F5C44CDC40B167 |
| SSDEEP | 49152:XGHNOW2Rx+4F/EMpCHAlvWrvHwIB10DUBO7eLdON4:XcHCfOHf |
| TLSH | T1C8C53A1B5ED588BDC6FFC238C8A60A327FB0B5514A507F2714D067112F53AAA1BAE3D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma |
| FileSize | 593197 |
| MD5 | F56588BED508DC31CAE6EE11C3A761E0 |
| SHA-1 | 02CF11BD464AF8363ABA7731859528C4E2888E9D |
| SHA-256 | 8B6D2AE6A702718336CD7B645C9E9A7D2F44DD96F5949890B5DF64005985385A |
| SSDEEP | 6144:LZ2T7/N3mdvboQ4D+/peMMHa4JhGxv0HGYk+AqyxRBAsFZGTRh/:LZ2T7/N3mNbvrMtGZAPVA77zgRJ |
| TLSH | T14CC4313BEE5C08A0F8F517BA88E891CB4DAF879D5783C59FC12F02D4A44A7191F4A647 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/stm/stm.cma |
| FileSize | 1188907 |
| MD5 | 22DAFB208F2C41FE611F00FD0362076B |
| SHA-1 | 048737B33CB2552A425481A9D0C50F3BE2411FA3 |
| SHA-256 | 6EE201EEE300F4C418F435EBCC2F351E32E18838003BA6BE2B01DE241CA75DE5 |
| SSDEEP | 12288:SLHI6OQ3Q7Mk/VniGt2RZ//zRUnk/1dyfkNv/+WuxxI3FtWtIT59nBx1v60P98hc:g3amZZ+/tIT5bH6o71jb |
| TLSH | T15D45284FE71555A6CC994ABD9CCA029712E42A3C87DB4EFBC09B02D4D48274F2F92D4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/extraction/extraction_plugin.cmxs |
| FileSize | 1043088 |
| MD5 | EE51FA6A6DFF00DE7D831408F11EEBC9 |
| SHA-1 | 08253CED3D633B281733A8239EE96640B50ACF23 |
| SHA-256 | 21EA38709C56EF932B05521D4EFD963149AA262BF2157013FAADE55B49B883FB |
| SSDEEP | 12288:nElnBJ8hYXzeRo8j6CdjllZTdsCzdyKkcvgCv2f0+c8:nElT8uj89l19pyKnvdsc8 |
| TLSH | T12C25D705AEDADA7CC5F7917449A3417176B0F6D80A54EB132FA4B2202F136EA1B9F3D0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/extraction/extraction_plugin.cma |
| FileSize | 2188407 |
| MD5 | 21234F660526F0C0662DDD5004F3AA77 |
| SHA-1 | 0998CF6FF142BE76285E6D5356A113E628B92B21 |
| SHA-256 | F2668BC443610CD55CA3ADA71EB5BA4C70A006B676559BE5C27F7973E147FD2A |
| SSDEEP | 49152:FndAD77LR75Hg5gMUbpyYhQm19QIrQF9JKVjO7S:GPLR75Ho7S |
| TLSH | T1CAA5840EBFDBE470C9E614798AD7818602B9D794038ED9276F2E01D4AF617EB5F83805 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/top_printers/top_printers.cmxs |
| FileSize | 143424 |
| MD5 | C497A08FAFBA14781F6F8EA0CF101120 |
| SHA-1 | 0C13FAB925DE668E755FFB428DEFE7EAA3BCE994 |
| SHA-256 | 21C7831CF277AD4C689BBAF96DC7B4B85E52D1EDC15D4CC3D3F16A2070F350B8 |
| SSDEEP | 1536:/uV+7LCjSRzaw5kwZAB8o0yBrP5IADMQFM4jqWhBTHOsiphxnMOx8SUt3Ek4R8RG:b7YSo0C7YzO4oZXbRFDcBXR |
| TLSH | T14AE3B415A996EEFEC5BED374CCD69376B7B2B45019B0630B2480661A0F937AA4F5C3C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/interp/interp.cmxs |
| FileSize | 1442136 |
| MD5 | 1325B02683E35EC7EAD0EDE14AA36F89 |
| SHA-1 | 0CDB18BB23B0A6A92CEA71FBD152C1FC37A54C0F |
| SHA-256 | F51F87922A91090E4ECC84E383833A0879DB607F55FAF14F96E8ACD4B387EA22 |
| SSDEEP | 24576:ZEvTknXi8iveVJl89G5UN/dLUVSwioeWRHJASSk7eiokSy0d7yq4W9eA1JJzKDmM:ZEvzXeUJJKS8NMzkZh |
| TLSH | T157651B1B9E8589BDC6FB813AC5A24632BBB075517691AB1315D0A7312F4397E2B3F3C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ring/ring_plugin.cmxs |
| FileSize | 243200 |
| MD5 | 6845DE87FBE81F3C4AAE9C7B47290010 |
| SHA-1 | 0E2CC12898B97814B34A7B185EE76973469451B9 |
| SHA-256 | E79985A87A13FFB803D445445248E30D0BE812E371B4227B7E878627FE0E9DEB |
| SSDEEP | 3072:jPwRW3vv1MrLJZVsiH1givuUMB9dWhAPXufJeYR6JMwT:ERW32vHjR6JMO |
| TLSH | T1603429026E999DBDCDFA9239C4E6423177BAF9804B61EB17629027352F135660FED3C0 |