| Key | Value |
|---|---|
| FileSize | 5459888 |
| MD5 | 907CA44E6B7541A79E3EFC7291F3AB64 |
| 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+b3 |
| SHA-1 | B5D3088F4A471FDBEC187056A29B7B5A53C51DB9 |
| SHA-256 | 73D97EABBBE4F8235249302C83AEF36FC077EB5520604FCFFAF047A2473BB87B |
| 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/ocaml/stublibs/dllcoqrun.so |
| FileSize | 42504 |
| MD5 | 24923C7D4638BC7CA0BEF2E730BD18D9 |
| SHA-1 | 04E4C3931531100BCB24AD2F324F8938EE4471A9 |
| SHA-256 | AB8F6E743B7E039F94B3580F4C0B94E3A65D4443FF0FBC8F21DBEF8921CC41EF |
| SSDEEP | 768:ACVSXXvmEI+O2E3Ybqmm7kjirV49xclxibYf23Bfrnahc3S3gkPcg:ACVSX/mEImE3YFa49xcLibvDSh |
| TLSH | T11D13C81B6B448C9FC4C98F3844EF51E863AE28AE51E1C767B25249CD7F1E6BC47219B0 |
| 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/int63_syntax_plugin.cmo |
| FileSize | 11683 |
| MD5 | 16C65AEC1845429F16DB0547E411E174 |
| SHA-1 | 9A3211D3975DAF2087912E92FD7ECA1E5AD45DAA |
| SHA-256 | 1E1E1710A448FA4415004B856D46D1C6A65460CCFC18DE2C9AECCCF639A8804D |
| SSDEEP | 192:+ZfHZYv+jgnfzF3hgHV20cgp/FGeT9gT/5KAntIZdN3Hvk56tzq7bBIzJSC:+TYm6eVKi/FrT+KstIvd856tWZTC |
| TLSH | T11E32C44AE5C71551F8E93DBBA8CA404E4FF412BD4052C22A49BE04C75DD299F9AC3F2B |