| Key | Value |
|---|---|
| FileSize | 2065694 |
| MD5 | A0DA0DA3040770480766744992F2B9C8 |
| 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 | 0F88DE6FD1DD3D8B3FE22DEF1F8C52D01516FF03 |
| SHA-256 | D70E0799E6741AD46E9C83C34CC3D9BA41A117780366BCB7B29599C42D5681E2 |
| 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/field/field_plugin.cmxs |
| FileSize | 59312 |
| MD5 | FFD73C69D8EF781740FF629BA3D6858F |
| SHA-1 | 0C5CE72DC27BCC79E46A11B44733443BFAA26EC8 |
| SHA-256 | 9227039845065C47C90BB64D0C6C18A1C8BE834D41B0D9D1F4A27B7443CF2C8D |
| SSDEEP | 768:cILW9LpOVL/wnLwliZaVHCoKHtZtUtOKCXyIz+trngFiQqNV3BVz8NRRn:gLEWwVCoKHvSrCgngFE4 |
| TLSH | T1CB43F912BBC8A92ED02BAD354887437177BCA8902E922257C794753D7D933725EB6FC0 |
| 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/rtauto/rtauto_plugin.cmxs |
| FileSize | 99680 |
| MD5 | DD7034CE98712D9AF1FB225EF9410A50 |
| SHA-1 | 13FDF55D43EDD8B0E2B87EFD3A0F16E3E4AD0A8F |
| SHA-256 | EF251ED925515DF47F72A505A6C7B869DDDB463978A67CDADBC340725763F48A |
| SSDEEP | 1536:4EP3mti64795ZXrk35/FFNgXnwSW15vqK6gc:h/56iuJ/FOrW1x2gc |
| TLSH | T160A3B612F349B86AE02B5E3545AB0373B77CA8A04FB52A1B46047B386D536305FB6FC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 868132 |
| MD5 | B4A890547139AB9523CEB067E257833B |
| SHA-1 | 17359D30565DBD044BA0391A3B98D56F67270455 |
| SHA-256 | 243FBE8A6936540D94FA80EBF20F73E5F09512977D8104FDE432452B7B5A6524 |
| SSDEEP | 6144:PHsGcvJDGJfeRtAYRfMSsP0iJFfj6466Jb/qW7tMcCI/VUP09XEhsId7Aq90/mE3:fsGca3glsP00/U89X6X907EzZhm |
| TLSH | T15C05E916B348B939C02B0E368497537177BC9E845EEA6A175580B6343EA31717BAFFC0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/fourier/fourier_plugin.cmxs |
| FileSize | 92544 |
| MD5 | CB9191E84C73AA08B4301673D9E0B520 |
| SHA-1 | 18ABDBBCB35713C77200864EE1628872D2B3CB6F |
| SHA-256 | 33D9DC21F80AB4DCD461C560003CDD66D09D123CBD9D542B2E34C2E5F07F6716 |
| SSDEEP | 1536:/NFsIHFI8Eu49Tckt3EQmISe1W43Z6ywFQ:/NF3Hj45ckt3IJx4fw6 |
| TLSH | T1A693A65AF388E86AF017AF31049B4322737CE6641E61B61F974879393D231705AB6FC9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs |
| FileSize | 18108 |
| MD5 | 20F86C91D3D64E982AF344172F1BA227 |
| SHA-1 | 1C9AD88BF69FCF16F1994281614E5454CF279294 |
| SHA-256 | FD6656EE93E3EA6BF2368CD8BD214CA0BF45FBB68743630F023945CADACA73DD |
| SSDEEP | 384:JI1H3Ta1UMXNjIRWq07dQa7AnSvQagyGE:JIN3Ta1xNjIcqsUGH |
| TLSH | T13D82FA15F7DDAD3FD02B1D7540578369B7AC869009A1222B9718F26D3CB31A44AEBFC2 |
| 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/syntax/ascii_syntax_plugin.cma |
| FileSize | 7150 |
| MD5 | 2F1973AA70339CB0C311F4240C67E86C |
| SHA-1 | 42D19FD08B46A0222CFCE84AF3B39B952CAAA869 |
| SHA-256 | 1579291ED9AA49659050D489FEA941A753F543EA596275AE84ECB81843C6A68A |
| SSDEEP | 96:vOh10pC9R8kfUX02qJmphtPHTbfvIwN5WEZ/h1htGnDTbfvIwN5BEztF:P4Z/wLtbfQaQEZpvSnbfQabEzz |
| TLSH | T118E1FB8ABB815D74D4EB8436C5D282DC576562619A93043FD72843AC3DE3F77AA32F01 |