| Key | Value |
|---|---|
| FileSize | 3502166 |
| MD5 | 17361518FAF310B3FD42EE73FC34A1E7 |
| 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-4 |
| SHA-1 | 2ACA9FFDBCFCF99176CE51E0F64EA7212D853509 |
| SHA-256 | 1326780628BB77E245969E6D6CBA0C5BF1AFA05F925C44F34F9351CCCC9FA076 |
| 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/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/syntax/r_syntax_plugin.cmo |
| FileSize | 26720 |
| MD5 | 24AFB1D2B1D1B648394A699231F32ABB |
| SHA-1 | 03BDBFA7D8B9A30BA559E90F964EECD49E963110 |
| SHA-256 | CB15357E4BEE323B4A16DD3D931BCF564E22F140B6DDA4AD23EB232A490F7F22 |
| SSDEEP | 768:3trXHfAYpl/A8x2V3SqyVYk/+gE0+tjhKngvJZzV:3trXHfAgl83SjVYk/+gE0+tjIqR |
| TLSH | T1DEC2614AA5E8D572F1FD1CBAC8C48ACD8B1942AE7693CD2704F406A958D1E1F1F86F43 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmxs |
| FileSize | 19296 |
| MD5 | 976B0FC2D9F9DC44E56F47077D737548 |
| SHA-1 | 0A6FF23288B8AF49DEBAE75367346F010631A61D |
| SHA-256 | DFDC4676C84B63E08F9AF95AAB14D798658BCC078345CB4D817949D463A6EA95 |
| SSDEEP | 192:RHod/mg8pWVVKgKSB9eEO49D/Mm55ChOmsSV1Qzttpi2WhF4Mc7s:+XVVKgKA8HgHYizXpi2eF |
| TLSH | T1EA820807F26ED83FC1EC87B8408B43F07AE4F95162A2875B979032582E617A81767CD7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmo |
| FileSize | 25159 |
| MD5 | EF4E00001A7116E5CEB479A966634090 |
| SHA-1 | 119F54A389F2BCC21E2F7DC0C0073A7ED482D22C |
| SHA-256 | F23E6E1CEB5996391BE016B2D4C265840B44AF46ED650A1887E5F1E4920236DA |
| SSDEEP | 384:126KWJk24WmE3fyRs8fX50WbUiirAeJiwHFOzAXlsdg4P1NuSMSR6XEWGdxe1NuF:oQAE+iYNFQjN2oUa32eDp6 |
| TLSH | T12BB2C50AA84C9962D2EC08FF98D7C9951638E794DDC7CA26073807652EC673F2F47B49 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 107672 |
| MD5 | AD178B5549DF7872389D53899FC7B642 |
| SHA-1 | 138BB7257E1834621F4B220DE0637FE82280BF5B |
| SHA-256 | 29D426B2B8D84DACF95BBEDD290051FD9428E1F50189FFE98A2931109CA35F65 |
| SSDEEP | 1536:p2GUOUnZMZDiDv6xa0IVzHwXCKMXkfiqo:pp0nZMIMGQYq |
| TLSH | T1DAB3B65779B995BDC1B9813984DB86B26EA5BB501A304B0F16C0BB152F038DF0FAE7C4 |
| 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/plugins/syntax/string_syntax_plugin.cmxs |
| FileSize | 19544 |
| MD5 | F65104A87AF6ECEA1CD7AD83023648B1 |
| SHA-1 | 14E28867AFD4D320BEB9F7A1E51184071030A27C |
| SHA-256 | 322AD3E67473B8D8198726ED1E57AFEE0E193A008B64A28D977ACCC6E599B6D7 |
| SSDEEP | 192:RkX0KP8pxV2nGncv2QbiAWYeShmitFX5ChOPESVgDQztkQi2T8yibgcTc:ClnGSiAWYMitnxHzmQi2T8y |
| TLSH | T1EC92E707F2D8083EC8FC977905EB82B46BF4E586627182B78A9071501D669AC4F5FE87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/fourier/fourier_plugin.cmxs |
| FileSize | 104696 |
| MD5 | 65167D2B9ED671CF37F721F1A75D8BC1 |
| SHA-1 | 19B074678261FAAB53ABDD783AAB370315EE472F |
| SHA-256 | 9DAFBC86170D25E1B227DE7ECB5F34BE5DDECD173AB5BC21B89B12F8F3E3FD8F |
| SSDEEP | 1536:2AjuIacAnGN44Z6GgSDawSpiwSbjqNBvxHC:2AHa7GKhD3LUwmjmQ |
| TLSH | T1DDA3B85771BD957EC1F9C23984CAC2B26DA1F70527606B0F71C022242F2259F2BBE6C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmo |
| FileSize | 29266 |
| MD5 | 015A1466560A0B5FE4733BFE489F2036 |
| SHA-1 | 1BE084C0B08ADB99805F0F699ADC00C616CA138E |
| SHA-256 | 5632AA9AA53FDFF8B4F24159EA18487941D159E6AF1A110F200A42B38742EE86 |
| SSDEEP | 384:jlS1uFDnYV5Ju3aUuQoWaHSKLXr5ZqHm+gkijcs/ejP1JxGi4vLu+CShzR2i22:E4F+52IX57z+gkijcs/ejP/xGR6ShP |
| TLSH | T1ECD2830CA5E8E862F4ED18FD88D94ACD5F3905BE6552DE3701B8069168D1B3E1F8AF07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmo |
| FileSize | 1895324 |
| MD5 | 12E013140C27154049400C17BC58D502 |
| SHA-1 | 1D473020B054403C603CA1CD9EA20FCC93C1E308 |
| SHA-256 | F5B36F6A65435F3124FCC84CCE2CF188A7BABFD63A505F7D381EF181B40F1348 |
| SSDEEP | 49152:kEmIL6Q1KBsocYawKUe24fLq9nMC6bPf80An6o5LI:bU0p |
| TLSH | T10795C90E645C6E30D4BD1FBEACD609C9021C5FAE52D7AE5F002822545F8B39A6F8794F |