| Key | Value |
|---|---|
| FileSize | 22373368 |
| MD5 | 33FCA6B0437FEB02BB878CDC042B369F |
| 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 | 7D2188E90013B01496CF42BF52589456203435DE |
| SHA-256 | 379BCEEBD1712D126BE81FEBF017E95B273AD5B19E03711B517D417E86D8BC52 |
| 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/library/library.cmxs |
| FileSize | 371120 |
| MD5 | 5F5B987645609286908E1837E720D542 |
| SHA-1 | 037EC216D162F09236065FAB93ED69DD5635BE42 |
| SHA-256 | CECA7B26A034202E2140FFE93923D9F01F02579472C04CFF3CB925DF7E1BCAA1 |
| SSDEEP | 6144:+XgnslmHJ7r1Qnhd1lZrMP6UBVyUch5+:99TMd1lZ46UBVy3/+ |
| TLSH | T1EB84C5D1BB4A5ACBC7415D345E1753B2B3BEA48A2728D713D94EE23B1E477088E87E01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrsearch/ssrsearch_plugin.cmxs |
| FileSize | 96376 |
| MD5 | 7C91FD3570AB643F648CA8CE0295F0B7 |
| SHA-1 | 06A987E3EBEE5EA957FFFC4B79BE388CFAB8509A |
| SHA-256 | 01F612EEF9E69B378760449F91ED3C3196A54FF622B9E0D7C8A509C4A4667907 |
| SSDEEP | 1536:am8Ugen/ANvOkvDwuYjm/vu9FubKBHwTRpEf21plr2rpBl6aTq//7f:gU9u/lr4p6aTC7 |
| TLSH | T14193E8D2774D578BCA714D384B1FBA72B3BEAE462F29A711D405A33F0E56B048E86C01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrsearch/ssrsearch_plugin.cma |
| FileSize | 155808 |
| MD5 | 5DC3AB3493CF0629FC685C2D94C05A27 |
| SHA-1 | 0D0D0B836604FA96B574BF8C3A907FFB4192750B |
| SHA-256 | CD57B79297A6FB9B0716A8A31B5E0EB52DE139EF0CD37D67939854EF59511834 |
| SSDEEP | 1536:7bz4GAF23dmaqs6Ejy8sv62ndlezxMWiQuJt2rVzkCHLbZrdaCu9+Wq6:7bMGt3dmae8si2UHiQuzKkCHLbZrsZ9J |
| TLSH | T122E3644E92065861CCB9067DA8FDF1EA4FF65B4D0ED1852BC07A119CA842F1B9F47E83 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma |
| FileSize | 593197 |
| MD5 | 8096899F7FDCA78B9F67F9CD352B979A |
| SHA-1 | 117D63EFC8E6E597E4CF76E6E2FBDEECB9A659AF |
| SHA-256 | 26BF0DF30AAD1168828D774ABFA5E983A204A0F59DB8D4F0F11E584AD3BE1BCE |
| SSDEEP | 6144:LZ2T7/N3mdvboQ4D+/peMMHa4JhGxv0HGYk+AqyxRBAsFZGTRhX:LZ2T7/N3mNbvrMtGZAPVA77zgRJ |
| TLSH | T17CC4313BEE5C08A0F8F517BA88E891CB4DAF879D5783C59FC12F02D4A44A7191F4A647 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/float_syntax/float_syntax_plugin.cmxs |
| FileSize | 75288 |
| MD5 | 1D456BB0BDC3E2CEE79159F5DA6B9084 |
| SHA-1 | 2041435FB754E6F455589126719164F56CB6EA98 |
| SHA-256 | 9489A3A2805DE8FF0756A2D3D32522B62BEAE9854CC0884F3B919A18988564DA |
| SSDEEP | 768:eltefPoGPAh6wT2XOlu9Gw2IOlJkHSUoGaQ7BX/:4YPoGPAh6wT2XOlu9GNIO7kNaQNP |
| TLSH | T14C73095276C8BB57E6948D348B0A03677B7C92CD67385713C45892B72FA1B1E8E8BC43 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs |
| FileSize | 1612344 |
| MD5 | F748D1D0CC858C9C1EA52A029194772A |
| SHA-1 | 221F0597FDD6A0A4A5B54ED1F87863F8CEA4DD8B |
| SHA-256 | 6ADB310CF30280344A9A569D32458809E9490F8DFE7753ACED604B60F85BA8A5 |
| SSDEEP | 12288:2XKxomUSqDFIPcS2IKf8KqylrnU9cv8Szfy4O3D7MG/5XnSwPythr:1omUScIv2I7pyvu3D7MG/g |
| TLSH | T1417508A239A94BC7D7560C748E0A76B2F26DA78C2E3CE7074807E2132E877654F97D05 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/interp/interp.cmxs |
| FileSize | 1577752 |
| MD5 | 21C5F52E627EFBB31E8C842986E46F0B |
| SHA-1 | 286F475D5F5C8B2C58CE317C99A990A34DA27F41 |
| SHA-256 | FD9A56E86B9457833999BF995A1964268E22DF7E100EB49D2F0FCFC292EA1EEC |
| SSDEEP | 49152:859SQu8lXjqZhVgnqNOccVX7oCStkHs0kbZaA4:k7yk |
| TLSH | T137750AE27A0A6BCBC7020D748F5A7633B36D65893D3C67529D4AE3171E437089B9BE04 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/funind/funind_plugin.cmxs |
| FileSize | 1231648 |
| MD5 | 7CE91F4669DEC2D933BDAACEA575DF8F |
| SHA-1 | 2CDEA3E710DE4746BD40342AF2A7A6926ACAE479 |
| SHA-256 | 9E3AFB62DA15DE7474433CF426874D27D16E34836B778F6315E047E275788B7C |
| SSDEEP | 12288:IsoP59xc23fTNxWyaA/wZx9yS5I0FHiJQYYm+F7yQ8YFix2pwC:uP5N3Zw8S5I0FHiJQYYm+FaYFimw |
| TLSH | T11245F9F17E0967CBC7A24D345F2BA5B2B37D66892A3C9B41990AE3271E0360D4F87D05 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/zify/zify_plugin.cma |
| FileSize | 418609 |
| MD5 | E3493FD5AA37EA61C05D631EC183FE1A |
| SHA-1 | 2D10868DB568DD2632D82A64E7A3D223CA7256CF |
| SHA-256 | F9BAF2DEE0635EE095F9C4016DB70E19C3768E8781C614BDCB9FF2428F0A63A0 |
| SSDEEP | 6144:DQB7FSu5fjd9Te9UpLplxG3OuDh7miV6zXeEPOO0XvBjV9vkY6Vy8FDeB:DQzSu5rd9TGUpLA3OIoU/VLtkJkB |
| TLSH | T1E194B74EE75B4455DCE849BCCAC991CF02BC9BB9838B9E17516B01D1F84333D1F82AA6 |