| Key | Value |
|---|---|
| FileSize | 3576306 |
| MD5 | F4444D3C41E1F4AD05575878DF53E598 |
| 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.6-5+b1 |
| SHA-1 | 1E012FAB5AEC389ED5CE9B93CEF55D31FBC6B86F |
| SHA-256 | 110038257F8E8D4512734D161CFDB3A90E8F8FEDCB1FC33E3BF55FD6D4190647 |
| hashlookup:children-total | 56 |
| hashlookup:trust | 50 |
The searched file hash includes 56 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmo |
| FileSize | 373167 |
| MD5 | D37131679EC47A442A9C2C4182B94D55 |
| SHA-1 | 008AFFE7D42BD40A431EC27D52FC1499564C1217 |
| SHA-256 | 239C69002BD06FF34481B3B149C618444F28316E4A53DB70ECDB2936F07C3BB0 |
| SSDEEP | 6144:xuvQkQ8RpB4+7nA3zxGODAjUmi1LJtM18+jTIkrUOJzilEr:wvjQ8fB4+7nuzxGAAjUN1LJtq4kwmgEr |
| TLSH | T1D484A40DA51D6C70CA9989FFC8DD6ADB6B1487AD3213C9F740F841092E9232E6F5660F |
| 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/nsatz/nsatz_plugin.cmxs |
| FileSize | 192992 |
| MD5 | 3821DD1694128C382BC6F81A301ADFB5 |
| SHA-1 | 01442D72BADBEEC7F803B99DEDBAAB94F3CEA78D |
| SHA-256 | 508DA9241B492FB940069D1450DE08BE9E92AB0D51CFD607E8C8BA83ACEA980A |
| SSDEEP | 3072:hZquRsRmLkLAS35KL7iNGeGyNUrqWJleAh8GPkKdEW5EJnGaNPr:DfRsRmGA8K7UGeGyNUrzeI8GcKV5EJnd |
| TLSH | T1B4142901F90C9D76C4A9857BB08B9BC593E49B8823A1CF07F96523086F6379C4E5F8D9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmo |
| FileSize | 50344 |
| MD5 | DEFDFD5325A5F759B103D0293912A6A7 |
| SHA-1 | 04512A7B051D81B119768BA71BE7746FFCAFA566 |
| SHA-256 | 39B45076F4F6AD998424679D9017FAEB1CE1AF0F7B82C546A313F8B7BF39F88F |
| SSDEEP | 768:QZgg+Wl7G2gaPokTuErYHByKtgZT+3/kBhZ37diACxtdY58:QZg1Ws2gYokjwQ+3/ChZ374bj |
| TLSH | T18B333305E0D9E862E4DD1CB984E9AA8D4B194F6DD702C8FF44B886945FD3A1E6BC1F03 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmo |
| FileSize | 314943 |
| MD5 | 12BBE310D39C46F5A0F80F126273F05A |
| SHA-1 | 0486C65F2AF558088262F2BB46B08D6F6B6E8A47 |
| SHA-256 | 44D166F5AE9E2380292747500EE99E8CB6BC8710963486A7A0949DBB057676B9 |
| SSDEEP | 6144:fnuwwSrpkHEfanFUOoc9i5Hpy6CcRhhV9uHt6fhAywQE/7t5mRgMe25f:fu3OfanFZ9Kpy6/9V9uHt6JwrB5mGMek |
| TLSH | T10B64830D68584872E4D819FF48F56BC98E1C4A9DD173D9AB80380A91AFCBB7B1F85D07 |
| 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 | 5776 |
| MD5 | B692702A50D325856668A636B6DC7F8E |
| SHA-1 | 2A55B5A88693828B67F4A0AEC58BCE7659E38344 |
| SHA-256 | 78DE734D8C164942E398BDA182D4C60400647D5D12F119943ED635E76F1084A2 |
| SSDEEP | 96:pfCv1k8UgcVQIZLEYQyksGFHnQxJSYDn1VfPPbT4cBzhfuuDAJdq1HMLN0:pqv1lUg2QKLrQXFHAJSwn1B4cBd940HP |
| TLSH | T13DC15DECE130D872C49BE0F7D09A0136A5AC5467513BC87E83120799A0D5F7A8F55A5F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo |
| FileSize | 157530 |
| MD5 | 24DABFA879A2A0BDEA6A4A444EBD7D82 |
| SHA-1 | 2BE323F90DD0E0259F70B0EEA196C82AEEBC09F9 |
| SHA-256 | 6170FAF2E6D75313E701FF0B67B49EBE5985EB4ABA350381FD0FEA1D94C67965 |
| SSDEEP | 3072:Tz/o4t+UzVxDChkTU7snxUDVS0RbepCe9B:Tz/91zjygUBtR/eX |
| TLSH | T135F33306AEB8FC60C4AC04BED8F69DCA462856AF6023CC2B40B88F556DC5B1D5F97747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
| FileSize | 24272 |
| MD5 | 7E5669DAAD34B9DB9A77768BD2410985 |
| SHA-1 | 2FD71F8207735630BB40CF1458E8925990639DCD |
| SHA-256 | B8B543B9E43D54EBF3B5DB564144EA54B60AB2199C4EB88A0938A946B7A523EE |
| SSDEEP | 384:L0HjoGFbvLj1sCesWDbjwBVF9yy53YaWz9M5EWBf+bg11Pkco0yRsKBze:oDombvLj1spsW/QZ53i9UEvdLRsyze |
| TLSH | T1ADB2065ABAC9ED6BE5EC54387047479C3374D09D3A859F2629B022EC7F71AA80C47D83 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmo |
| FileSize | 66350 |
| MD5 | 16E3A186311446F041F6902B195202CF |
| SHA-1 | 318ADF3E016F749CFF5A28E26680D02A37657E48 |
| SHA-256 | C1E42FB32A3BF70FDAE81911A03B1D55246C42C88737C4523C057B370674FD08 |
| SSDEEP | 768:jAtzvfS2Rpb2tUIG8H1r0AbR7KWTNg2wxj51g237RoSRMr:Mtzvf3Rpb2tUz8VgA93TNnwJR7enr |
| TLSH | T11D53340EAA6DA871C4D904FDC8FFCD86122449DB5422DC1B08BC4F5A6DE131E9FC679A |