Key | Value |
---|---|
FileSize | 490006 |
MD5 | F7D8D022B7674E8F5F0885BDFFFA2B8D |
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 | AF91D2313CCE9CBEF343E0BB269F24989910C5D3 |
SHA-256 | CD0C8F72C90CE17BC82021C8ABD0AF78FB144A21B3AE889323E48BABAEAFA4BD |
hashlookup:children-total | 27 |
hashlookup:trust | 50 |
The searched file hash includes 27 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.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/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 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/copyright |
FileSize | 1180 |
MD5 | 17DD07FEA80A69EF9BDCBC95C8AED697 |
SHA-1 | 566515D8EB8F839FD9339AA140301A213175493D |
SHA-256 | FCDF7F3E9C2EAC33ED090B63F53004DE7252AD00BD5C6EDB10A651961F2EDA12 |
SSDEEP | 24:g0tuOnnh41UDK0WaiZ7CLpKIBun8+HR3eW:G0nh4uuaiNCtre8+HR/ |
TLSH | T177219A02ABDC9BB93B9194E2640109C0531F5E9F2144F1B17CCC9108DF0D5381BF121B |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/stublibs/dllcoqrun.so |
FileSize | 46964 |
MD5 | 089EFC56EC6F05031F5C37409012B0BD |
SHA-1 | 5A8539BA38903619D4F954EE9DE3E8F4B2AF9A41 |
SHA-256 | 68E648EE6C8E69710B21F490E85A7B60FF01F5193AA84B925CB03F9A5BED481F |
SSDEEP | 768:+VBiMLRbUYQdvJw+Bf8rfoiFtdW3Vic1Os9iqfnACA4DAAyxsMLBpD1Ki4UjsE:+7iFYQdRefoiFt03ViSiqYCA4DAAyxse |
TLSH | T108233309F0861476DAD2353AD60F0FDE5277430A62A7BA0741BEC229F7B3A7E5E36504 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/ring/ring_plugin.cma |
FileSize | 63064 |
MD5 | DE3FD2E60C5DC20BC1B891C2B3669BE1 |
SHA-1 | 5D7BB952CE4DEFB03F07E99981C655E2D1D7541B |
SHA-256 | EB9106B67A2CCA8FD102ADF2F7876EDD32E4F708A3442333702A8369F990C693 |
SSDEEP | 768:CI5ol4nCE7zBdGgZz2SC+36clzgo/Yr7zQZ:CI5Y4nCE7di+3xE/s |
TLSH | T133536486DF120665D4F60AB3CBE757C423319914EE460E2F643D930899E3B6B3BD2768 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/cc/cc_plugin.cma |
FileSize | 64376 |
MD5 | 093036AB1ABA761913B9E16062994D5B |
SHA-1 | 661C0B91CB8E267DCAF7CC161BB7FB1592B86C1E |
SHA-256 | 68BA21B4F1F9901A602EA77043F3D5262206FB86A39CB7677C8A621FE27FFB8F |
SSDEEP | 384:L7f/kbkGFnbPHxekaFs9qtu42iZhiG10wHVssCcb5L4/dFcbJ4ggyQGZk6STX7yU:Hf8bJFxevsYie0CVsO5+qVvZZCw6zhrD |
TLSH | T1E453854BB7014EB1C4EAC6B3CAD3C6D92375E6655E030A1F61588B1C3DC3F6B6B81618 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/syntax/string_syntax_plugin.cma |
FileSize | 6471 |
MD5 | 1304E68EF3FA78422DC22490E9048167 |
SHA-1 | 738753C0C7728918A615F756A0A691763B2E5AED |
SHA-256 | 847CB9D8040DC9500FD657C6859AB1C5476C4C96AF8D1ABEC6D492178C9C8BDE |
SSDEEP | 96:ytsu93ifON0aKphtPZa0TbfvIwN5WEZm31htGnaTbfvI2N5BEztF:y1ZKHfaibfQaQEZAvS0bfQMbEzz |
TLSH | T104D1FA8FE7406CA4D4E7C43ACAE2419D17719291D96B447FC370439828EBFA7AD52B05 |