| Key | Value |
|---|---|
| FileSize | 1783864 |
| MD5 | 714FC74E63DA11449E04DB2F4083B9CC |
| 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.3.pl4+dfsg-2 |
| SHA-1 | 2D3829C938E747D2EEF1122A630A5609A48607A9 |
| SHA-256 | 14C721CD7BE756C69054D2B8914069E8F0E133440CDCA6B0BD61478CC381A791 |
| 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/xml/xml_plugin.cmxs |
| FileSize | 251436 |
| MD5 | 8798986DB424128A4B2BB0CEC6D94F57 |
| SHA-1 | 0DC48CC8A156CC11F2053B1F9A6610892CF5D8B4 |
| SHA-256 | 547861ABBFF33C2F11C373AA53476F0568ABFEF876EAB68827654447DF9C7A4E |
| SSDEEP | 3072:prhPci8G3aK0DgwIliaYlL38L19XZ7jsnJmtmblwnpyFrMmRNDeZ57iI0gWNWNrG:v8GY0iaYlQbp8TiRqr5DdEvPU |
| TLSH | T12034E683B9488C7CC1B64F3049E70B3D3A3049656FB6F7999268B17D2E539E90F666C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/xml/xml_plugin.cma |
| FileSize | 121720 |
| MD5 | ECCBA279CFDDB32DE3A522C5EC090B2C |
| SHA-1 | 114E1A5B99648B3ECEC600EE6E59EC657E629410 |
| SHA-256 | BA88F93574DDD39554932A16E83E0870DF59CDFA2902801283566C2D8A395797 |
| SSDEEP | 1536:FlrhKddPs9CYywOC8Mcyawj5Nd+yNYVITS/6E0GLEqqgU13D8mQwKjcJw1GGCZ/m:/8s9mM3aw1Sy73D8ww1QZDi0Y |
| TLSH | T1C6C3C64BB7024EB5D0E285B2C6D3C6C4136593659E030E1F259D8B5C6EE3FBB6B82748 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs |
| FileSize | 18828 |
| MD5 | 98C3E3C3212445DF4C44457CF9B95EAF |
| SHA-1 | 1275005F8437D1D52C9CB33ACCF99544E93581FD |
| SHA-256 | 9111A59B2D7FAA6A0842BD7C05AC7F972CD5FFDF317EEF9EB015FB104085864F |
| SSDEEP | 384:H665fx/imEXlg+P56HhoNTT5jThXCzQag3/S4Qa1yEA2y:a65fx/im6lg+P56Hhq5Vc8D+f |
| TLSH | T1B5820A87FF869A7CC0FCDF748ADB073C7671804299523666563470D03A22FA51797ACA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_syntax_plugin.cmxs |
| FileSize | 14228 |
| MD5 | E58F9E2AA3B7AFBF3ABC97A3A3EBC155 |
| SHA-1 | 1CB8E1ADD5777FA100725C32669373D82C143599 |
| SHA-256 | D47E43B43EBDFBDD48B6D0B6577181803742CD8BB04FAB0F070105D31CD7438C |
| SSDEEP | 192:t+5As8pCcfN+jPS/mAtQR+fleVDKSgS5VwUfaibfQaQEZuivS0bfQYRbEzyGc:g5M3GdVDTp7RQa7RS4QYRgy |
| TLSH | T127520887FB889E3DD0B59B3481DF032C3670C56AAFB355778A20B1D539615A84616FC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 22410 |
| MD5 | 01FDEA5E790B9F8B84DF0D84393FA9F6 |
| SHA-1 | 1F5460A020BB469E79F1599E893575FD6C52F400 |
| SHA-256 | BD2366C05FBBCEE4B69122B0E61374D06A4DB6B49DF0B6A89CE2E76F5344004C |
| SSDEEP | 192:gmX/7C9k4LnalGkrbEog1ndMxbpslUaM+JGCxBYA2Z05UpbnDpL0rn40ybhobfiz:ge7C9xUb0ksllMMYXjpbiic7qyS4Qagz |
| TLSH | T18AA2E90BEB021DB5D4DB80B3CAE143D45366D6715E5B0E1F6A6C436C19C3BBB6E91E08 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 999 |
| MD5 | 81F4FE10FF5AE02EB6B4796E9D623862 |
| SHA-1 | 1F8352ACE7D7D85B39AB409E4C3C41578CEDF5AA |
| SHA-256 | AED26AB888E9211BFD262E14065D71547C8E73027D70250CFC475DF98192C637 |
| SSDEEP | 24:X7U1Io0OR0sE9HDGA5IWipULhNeJhEdn5NnkP8Z54ZL0:X7eI4KN5P+dJa5Nnrom |
| TLSH | T1941198F69938EC5782843DB174C21C5D118AB7B1DAC2CE6D35A3DD86120DD7621714DC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/subtac/subtac_plugin.cmxs |
| FileSize | 515336 |
| MD5 | BC11DE607F05E35977FD65D55009F3A6 |
| SHA-1 | 40FE5EC6A516B62423A44720328A0F683D4BF56E |
| SHA-256 | 6C75FE3F0ED62BF09EC905817C95A0C8A2174A37F16A8A0F19A781C128464663 |
| SSDEEP | 6144:ss+AotfMkCFaivl5IfBjAPvvafs4T0YvgeQZIkc5s6Tz:cAotfMkCFaKU4ik4YS |
| TLSH | T103B40883E995AF3CD1B60F35897B373669700E594AD4FA0A522CF068BF42EF503562C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma |
| FileSize | 7150 |
| MD5 | 2F1973AA70339CB0C311F4240C67E86C |
| SHA-1 | 42D19FD08B46A0222CFCE84AF3B39B952CAAA869 |
| SHA-256 | 1579291ED9AA49659050D489FEA941A753F543EA596275AE84ECB81843C6A68A |
| SSDEEP | 96:vOh10pC9R8kfUX02qJmphtPHTbfvIwN5WEZ/h1htGnDTbfvIwN5BEztF:P4Z/wLtbfQaQEZpvSnbfQabEzz |
| TLSH | T118E1FB8ABB815D74D4EB8436C5D282DC576562619A93043FD72843AC3DE3F77AA32F01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
| FileSize | 23268 |
| MD5 | FD41A26B158BA0D6345167496C9C5FFA |
| SHA-1 | 45CF483B7B5859FB0309420229C310FB63936059 |
| SHA-256 | FFC8B66C859875CE92F721D38BA5A409DB9F12BA164442A657DA4A8F4DC2A78A |
| SSDEEP | 384:TkHKLystLcZcwiutO999On1y7o7S/hxoDibgdqfQagZo9SHQagyM/S:IqystLcZcRT81y6S5WObE8aXMK |
| TLSH | T1E3A20B97FBD48A3DC0BA8B74CBEF0B2F3530815665877B35466871C81E11AE9132B9D2 |