| Key | Value |
|---|---|
| FileSize | 5460596 |
| MD5 | 774A9B932745EF5063DD86B0BF045BA4 |
| 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.12.0-3+b2 |
| SHA-1 | 591F151805F26AEA631214478DA07505C7186983 |
| SHA-256 | 9B59A75796E68E53E9D6B4344FC5206E01675C861F3B323C7AE1FE3FB4F8D65C |
| hashlookup:children-total | 28 |
| hashlookup:trust | 50 |
The searched file hash includes 28 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/extraction/extraction_plugin.cmo |
| FileSize | 2206508 |
| MD5 | A382144D7BD6A36CC6E1126283145742 |
| SHA-1 | 0B3B94D9F4414E935C78CC36719699C18C868DA1 |
| SHA-256 | 09D0E746121610055216D30930680E3D36BBB0E6DE2E59E3968A7C58461C62A5 |
| SSDEEP | 24576:loHUKD1awNp+iserJCrsZOrrGGVfWbQMDMnl2/86cqJfgNTqVwLY:g57fcUh21K |
| TLSH | T17BA59305BDCBF830C5EE5BBC4AD3018602B89794124FDA3B6F2E11D1AF627C65B83956 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/zify_plugin.cmo |
| FileSize | 366601 |
| MD5 | 21BCB034A0F1F55BD1BC25A75B7A50E0 |
| SHA-1 | 0F6E82CFFC1A470B5107CADFB8DB758466B58340 |
| SHA-256 | 08E9CE8225DD73AB9D7A636C80FA0A7E5C8993AB8E40CE4F5C959F12B8075ECC |
| SSDEEP | 6144:AkSo701j4HRkCZWeGp758GClz57ATposEkYvSP2/t984EjM:AkSo2sHRkCZWeK758GC5sEkYvo2/LEQ |
| TLSH | T191749706E7C94C61FEAC49BDCEE991CA136817F44387CE57053A01D5BC8372C5F8AAA6 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.armel.gz |
| FileSize | 216 |
| MD5 | 1147F2895FDAFB07FAAE268B3207D8C7 |
| SHA-1 | 1469793F4284B8DA9A85D3D976881B87AFDD23FB |
| SHA-256 | FCBF71E1BFE1ACBD87943FE4103A72234672B68E5470D3822F8620AED15863E3 |
| SSDEEP | 6:XtLKhatsmfafkamBgWle/XDDwXa5d5PtE:XJN9BamBl0HrE |
| TLSH | T136D02358DC055A24B2585C35F24A14756C48CDD445101DE040F574E61CF76945D595C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/stublibs/dllcoqrun.so |
| FileSize | 42804 |
| MD5 | 9554056ABAC138021D58ADA368F88070 |
| SHA-1 | 6533CC0795934B09E2A96A22C9BE66D7C3390F60 |
| SHA-256 | 250CDBD378D210CF070D89C1BDBEED56A8F70CE77F5AA3549F6356900C69A958 |
| SSDEEP | 384:iM8xMDVAJ1z5t64P/QOeV9lTG6YiGhtqcxaFxZsxCj8aMvS+G1cKSzfr3jDWl3/5:i1764o9Zfp9cFWxPzz7lVXDgnNObO+L |
| TLSH | T16C13A4CAF0454F76C6D0B0B5F7AF4B97A36593A9C1DAAB43C01497202B578DA8F53B80 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo |
| FileSize | 212878 |
| MD5 | 42572855A3321E3100A9D228A122DFC7 |
| SHA-1 | 6CFA841AE980E325608193F418D0EFD1333D5B87 |
| SHA-256 | 4FBC0B01E40DD6A03AB727584C60B4A7806E1EAD8944C52FDA4DE3DF9C70792D |
| SSDEEP | 1536:0F5DMPMlMN0Zo8v+3o8YGf6KDUXHqMtFGy1hoaZdw7f39FeTquAFhkpclO9tB/qp:PMeN0d8UXHt1hZ0r0Cnkpcl+hKp |
| TLSH | T108244507EE796C50C8BC05BE94F3199A5A74966890A0C82F84B9CFC5DDC2F192FD7B12 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/cc/cc_plugin.cmo |
| FileSize | 435642 |
| MD5 | 9393F16CEDA3FB40C153509C2E919B72 |
| SHA-1 | 78713AC95881B425AE71D28C797B53C64D34CF13 |
| SHA-256 | 1C4809FD857F29DF739C1466C600143557ADC8201C9E688D3C448D7526F80D27 |
| SSDEEP | 6144:GOwnzLJVJHuOY3Pk84KLVRmj0zJRUROd9UVXjuvtKZuTpOXWPMt0Fv9aZCT1GjA:G5Tg/T4mVRmI2Od9UVXjuvGtAFv9aZCH |
| TLSH | T1BA94C746FDC888B4CEE847BC8ADB479303B51AE8D19AC95740B989D3AD82B0D1FD3517 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssreflect_plugin.cmo |
| FileSize | 3646439 |
| MD5 | B1ECECD2A20778BCC53A02FB5A33B4D6 |
| SHA-1 | 8056046480F734179DAE16277E3919F0B7845E96 |
| SHA-256 | 8B254B270F01EA98DD48CD7A3F218919534DFC79A061EA62FC75F483CAD2EFB0 |
| SSDEEP | 49152:/s/WX6DFMIgkja4Sel9HVInu5rUzTLvDZYkjlywNQK6qjen0dYJnX+yVxTc3R+/W:/eWqDF/Tm |
| TLSH | T1FDF5734EA2680D60CAE907FECEC514C701A456958B8BDD8BC42F21F8FD4A7856FC794B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmo |
| FileSize | 2413374 |
| MD5 | C9B727C5577CE9836BA32DA8344796BF |
| SHA-1 | 8200604716363E7011AE04216301C6DE427DB634 |
| SHA-256 | 9C270962B334E7BA39D019E1BA9CD3392F6899AEAA85702000AD67301C812BF2 |
| SSDEEP | 49152:NiMc7S10qQwREO4LEsw9+A12DkPW9kHnsru:Ntc7S10qQwREO4LEsw9+A12DkPW9kHku |
| TLSH | T136B5405AE56C3E78C4BA0F7DF8DB10C602BD1F9B42EB954F012521E9EF076491F8285A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_notation_plugin.cmo |
| FileSize | 42371 |
| MD5 | 834C72A2ED26F648324F4F1897C36167 |
| SHA-1 | 8AE52C073E41978EF9CBEB5C86FCBF19CF313D1E |
| SHA-256 | 886A2F7FA467375A6071B4D4A5DF05C75F75F09E8AD77F1B437CC0B4059ED333 |
| SSDEEP | 384:endY1nRPGaeFy+KzK7sScQpKYZA8zFDYjL+GCG+QuCHDTgSIrNd8P16tsABeJ:EdaWy+KzIKYA8JD2CFzUTgSIrNuzAkJ |
| TLSH | T1701395DEB5590510CD9E37BB04FA015E82BC52E6C0B1E6FBC16D01A0BD8561A2BABF47 |