| Key | Value |
|---|---|
| FileSize | 5384100 |
| MD5 | 0CE8893F9B9D18D0C0A29AC39806DB82 |
| 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.9.0-1 |
| SHA-1 | 0479F59C51C4DA254F1382C243111F3AA30B8B0D |
| SHA-256 | F7F1CF1E0B6316E52B8A8B6D0B6974FF19D01389D6710821474A79FA9850F8FB |
| hashlookup:children-total | 49 |
| hashlookup:trust | 50 |
The searched file hash includes 49 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/funind/recdef_plugin.cmo |
| FileSize | 1740158 |
| MD5 | D1BD1827C103A696E96AEED974F580CE |
| SHA-1 | 03CD0A25EFD79FBD02C55AFD5E75906B93616D3D |
| SHA-256 | 2529781DA967F914FD6C33DAA757CD3484E4ACF5EB7040356F0D3BC2EB92519A |
| SSDEEP | 49152:YplPvYcAxTWs3exWPjf1lQ6VbmwXSDf8JcJ76R/aPs9J:Vjd1tnz |
| TLSH | T12785B90EA45C2E30D49D1FBEADE658C9022C5FEE52D799DF002811585F8F39A6F8784B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmo |
| FileSize | 633440 |
| MD5 | B3DABDAA1FB393638FAFBE0EDA883FA2 |
| SHA-1 | 158A4EC0369C91D2B856226185D64DB91E387D07 |
| SHA-256 | 43DAF0573E855E1F788DB1E3A95D0330D5F800E09C2D5FB99B17D44EA13736DF |
| SSDEEP | 6144:MF17NFVsTPoHyJp7314y5hwzHb+Kaltt29Q+WAbqm7yftIudUEPnT4LE1qfXeU:MLcbh5h47RXQ+hPyfrMLEcX |
| TLSH | T1CED4740D6B5D8D30C6A985BEC8DC57DB6B1C47AC2323C6FF04F841166D862AA2F8E517 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs |
| FileSize | 158416 |
| MD5 | 517984210EA143D6E892E88B13FA4A22 |
| SHA-1 | 19D3C10C940658050F1CF8F34B7077C13F53138D |
| SHA-256 | 6E9DA3E44813F86C3DFBAA3110604D46C62BBF07009C8239E0AB4E3B780ADA26 |
| SSDEEP | 3072:SW+Vb4WGrE8zgcUn4Y7O80fAYmI1aEWsqfMxi/HbYNjL0G:SWGb3GrE8zgcUnwaEWvMx4bYR0 |
| TLSH | T18AF33A82B98CFC26E0D945BB34765751273CC68A6BEACB02B4246B786F031B45E1FCC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmxs |
| FileSize | 366708 |
| MD5 | 9847C3A9F5CF49BF041B07CFA548B981 |
| SHA-1 | 1F8A886A4F356A60A9175CB448D72BA72F5D0C26 |
| SHA-256 | 95B099BA383E05150275AF7C6DA96ECD6981E6746AFE3E302FD4E76032878B45 |
| SSDEEP | 6144:/oBP90/JXEVqWVJuLb3SfBABdjBZkkkkkkkkkMaWkzQi9bh2xg:/oseLVJZfKBfZkkkkkkkkkMaB9N |
| TLSH | T122743C05E60E2C26C19E8E3CF07F67A6C27C57CC13A5AB1A5496BA303F561A8176FCC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmxs |
| FileSize | 45192 |
| MD5 | 617F7327951C1CCAFA1B97693EBD46CB |
| SHA-1 | 226E07316F63821613804ABF83F691B947295242 |
| SHA-256 | 8FC5003E15EFD3D98327D31A6EBA9092E0DDEE7058F7CC4308EA2C5ACFC26C64 |
| SSDEEP | 768:sokf3GRGbCwCsbos6LdiG722/EV6Dg3PzqM:SucbLVbo5hiq5k+x |
| TLSH | T1B0132A877A4AA81BC896463F70A7414193B5CBCC77D9EB06764C238C7F922950E6FCC6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmo |
| FileSize | 280221 |
| MD5 | AB9EEB28F01939452BEE147356D79E06 |
| SHA-1 | 28EF3FA9772147FDF335E0891FC9748E4CB9CFB3 |
| SHA-256 | 7BE4F76ECD0960A11EE099DB10320FA2910A447F59ECE7C89E6C6D156A492B4B |
| SSDEEP | 6144:VesjvMSm1fVE279hqDpxu1IK6rFYplPTz71/96FJ:McvM51O27jspOIlrFYplP71F6L |
| TLSH | T1E454A40DB018A974E5DE28FEDEE48EC602284AED64C78EA7102C07796EC575F1F86747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo |
| FileSize | 22434 |
| MD5 | C42A1DE9B226869CD774D41423D4C78D |
| SHA-1 | 2B61D956667FB69BBA1F6F25FF8F9F7A20730DEF |
| SHA-256 | 5351EEAE7307DB7D2B8EE6FDE519CE6E62C74A5657E37FEE76924177F721FC46 |
| SSDEEP | 384:xoAlUY63IgEU+3XOiG5bWrHNdjkQroldCW5GuVQNNkl4DP/Kw2:xpePEVHOiIG3old5QfO4DP/Kw2 |
| TLSH | T1DAA2722D6CDC6C71E8DE18BDD8C289ED4F18176A3113E81741F487C628E566A1F8AF0B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.gz |
| FileSize | 67724 |
| MD5 | 9A7637ED437F9697F0874B01A5D1D1F4 |
| SHA-1 | 373E1EC274922199C8A6DBF21FA5B1186E38FBAC |
| SHA-256 | 99FC6E4611636FFA9E5258C9676C6C6D2BC1E3559EF2DE3A0F4B0AC1B0AF36F3 |
| SSDEEP | 1536:ey0JqaP6GyCqTkecHUhmZHw7NbX0b51OGrWDCR3OaXt+GPodd:efkaPPyCX31OWaDu3OaX0dd |
| TLSH | T1DD6312FD50977DC56CE0F63D1882629667E23CD6646333EEA0FC037E655490982E8EE8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/ltac_plugin.cmo |
| FileSize | 3426548 |
| MD5 | 2EAD155457A15BDCD186D54309355969 |
| SHA-1 | 3A6DD06C0636F9CC2D5E8D127A436216CB55616D |
| SHA-256 | 9E3E47D72549E919BF5B8EFC80F21DFEE6A3125530E3716EAA794AF22E0E31FE |
| SSDEEP | 49152:G0UKRYd7M5Zmb3HxsHGEq9ELdguwXsbnasL5nJdr0U7EgcklePpd1z5T+briO09B:gx84Mw |
| TLSH | T1C9F5C70D74594930E59C0EBECDE45BCB83089AAC274B9DE710B80A955ECB35E6FCA50F |