| Key | Value |
|---|---|
| FileSize | 3405238 |
| MD5 | DFAA67E3C55F19A4F975BC7CF6D72A2A |
| 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.6-4 |
| SHA-1 | 02A6426BB245AF3346F46EFF8233EEF1D6229B4E |
| SHA-256 | BFD0DC3D2D9BA46B63AF5A5090BBFF076D63B1E3FCA28B851ED14B713D9AD9D9 |
| hashlookup:children-total | 55 |
| hashlookup:trust | 50 |
The searched file hash includes 55 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs |
| FileSize | 19016 |
| MD5 | 306625C253451613F12A0906E74295E0 |
| SHA-1 | 00BB6579D522099344AC5B33AE55391A2234AC0A |
| SHA-256 | 50B5CA5EA4F63E87D42B66926E88AA2AAF2B064F2874328ABFF3E15D4A597D98 |
| SSDEEP | 192:HlSGIah8phO9Ua/UWG/G45FslgPj99lWzNZChOPESVgDQztsQi2ETFULxfq:HlSy/UW05FsqP/4xHzyQi2Ea |
| TLSH | T122821B6B7FDDAC36E0E80875508B43E86FA0D3D836D34756566572842F619EC8C1BC8B |
| 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/toploop/tacworkertop.cma |
| FileSize | 5467 |
| MD5 | 13FC839B09D6573EEAB0C3AED71CC0B0 |
| SHA-1 | 02A1C610B5448AC1823C807801FE451DE0E713DF |
| SHA-256 | BA89FE7C109407CCD3B8E9264DE724085AC079A197A4E4440586F1868D36714C |
| SSDEEP | 96:FP7sO9gY3mucvXULuZbCL9vGt1kJrLIiWeGkB9WCQGytpdhD6bjUi2hh:HN5a7bCNiCF/1Qttp36Mi2v |
| TLSH | T110B13A49E270B422CAE3F4BF70E541716B7C54A75233CA7D82111264A0D8E3D3743A9E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 743460 |
| MD5 | 859107405F00FF18F48C042DE50D938C |
| SHA-1 | 035F8647FE27BB0E9D886C43B6A9AE5A172720E2 |
| SHA-256 | 0F3453878F7500891F2C1740353572DDAF25E0239FFDEDC2D4DE31239DE3F005 |
| SSDEEP | 12288:TZ37cRFBKFlfPAOfnIxo+DJqYZNu65Lt:TZ37uFBKTXAbo+u65 |
| TLSH | T1A2F40906EC4C7F7AC5DE5E3DB07B46816238AFC6A7E55B06281536103F470A82757BCA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmo |
| FileSize | 51433 |
| MD5 | 80E99276C1116DFFA9BFAD1644697134 |
| SHA-1 | 0AAA5BE8AC2D9D9BF164C155AE9AC1704E855E51 |
| SHA-256 | D386443DC069E1797F26BC587913C9EFE2E3C9FE63C371EE6BBDCF9F18428BD6 |
| SSDEEP | 768:nZgs3WTXuwiU/kR5QBjqlOAn1sc5CNgKCNVx3vXAiACx6N0:nZggWT7/kQBjtcUNgRNVBt6m |
| TLSH | T1DF334205E0D9E862E5ED1CB984EA968C4B194B6DEB17C9FF44B486805BD361E3BC1F03 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmo |
| FileSize | 415436 |
| MD5 | CEF82B2FFB2CA6CC53AD8924931D9DFD |
| SHA-1 | 0DFFE8A5D48A3E80F527902653605B207497DCDA |
| SHA-256 | 77D4485426D0E5EDA61C63882BFD1BA69F80C98ECDA79774AE83FDAC56D43BD1 |
| SSDEEP | 6144:RzTyV+m7W7XjesEsvhzGwAMvNpZNYEsQJEpSEI8qq0UOMxEEr7cdbh0LUw/wkY+s:BJ7zesEs0wAMvNpFEwEHO6tNs |
| TLSH | T10F94AA05F568DF21C4BC2DBEC8D19AC60188596E55339E2F81A40B156FE231E3F8AB5F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | D42BCE1FAC516F7DF0F92782D7A37489 |
| RDS:package_id | 182052 |
| SHA-1 | 14BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7 |
| SHA-256 | 9B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8 |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg |
| TLSH | T1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A |
| insert-timestamp | 1679425887.2714002 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/queryworkertop.cma |
| FileSize | 5473 |
| MD5 | 5B10EEF5A61BAE483CCFAF19420D4D64 |
| SHA-1 | 1542D1BA87F1D75DA48D3828234ECF0E941965F6 |
| SHA-256 | EDF44AAE89282567885D5AAE11CDB0584F5649769378F3F3DAFD2BF6B0B079B8 |
| SSDEEP | 96:JOO9gY3mucvXUG2r7OZbCL9fqt1UJrLIiWeGkB9WCQGytpdhD6bjUi2ht:NN5a12sbCx2aF/1Qttp36Mi2j |
| TLSH | T1F2B14A4AE224B826C9E3E0FFB1A541716A7890A75233CA7DC2110264A0D8F7D7743A9E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/stublibs/dllcoqrun.so |
| FileSize | 22504 |
| MD5 | E71A32BD7E97CB89B8E51CBB32DE3F66 |
| SHA-1 | 16542A2AA4D184D7C5E0F25292FF6E70A6B0B97F |
| SHA-256 | C766E72F1A9074E0252C358899DE5B55E094E3BE5B5E58B7DC16AD27ED9D01B6 |
| SSDEEP | 384:6/4vJ9YHYXzMGak8Cc+N0i/Eex2DGRu99xLCyZMAVC:6/yJIrk8CPEaQ9ZMAVC |
| TLSH | T1C4A23A8568641763D498B27C78CFFA022397C05C951E9F03A61C4CD81FDABE96E2B5D3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmxs |
| FileSize | 19904 |
| MD5 | 31C694CED28054E3C0EE2199AF846896 |
| SHA-1 | 245633C1E8203ED2E8D28D712558B53511998F82 |
| SHA-256 | 867BD24C2C6482386CBD3AB3B825ADB03953985033D09E2E29B08D3A665BD4E2 |
| SSDEEP | 384:JhWB4m/zzIxQ9o6g5fS0u2mCQi2LKXPFfJU+:Jkz/qm+fU+ |
| TLSH | T1EA92D84AB64CBA7FC4A485BD90974A8433B4C789BAC38753572932082F455BCFF63C86 |