| Key | Value |
|---|---|
| FileSize | 5460088 |
| MD5 | 6432D174C500F6C7A7B0462966E5806E |
| 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 | 27BED1959A291060E875A24B176311945F480682 |
| SHA-256 | C4C0A572F904FA2D0663420553872259BF2A308E18D5FD53428D3C114DDB9CBE |
| 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/lib/ocaml/stublibs/dllcoqrun.so |
| FileSize | 45944 |
| MD5 | 2B46EDB885E6448345FFC54024B09C77 |
| SHA-1 | 5280C03CDE9DB193C76FB70B2C38899CF78FC668 |
| SHA-256 | AB77423E397A10C03EFF964CA91628006950C701022BD58A52D70078B5B61144 |
| SSDEEP | 768:3yU3T6jAmrgSRQU85j4ui3i4i/ysB1w++F14KpjUFdugXBdNztuSz8SOA6r0HVtS:J6jFrgSRQU85j4u8H8ysB1w++F14KyNB |
| TLSH | T1E923C613AF58CE8FC0D9CC301A67C500A6AE65D76ACC3B93B3E8464CFE5456E6793990 |
| 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/share/doc/libcoq-ocaml/changelog.Debian.mipsel.gz |
| FileSize | 222 |
| MD5 | 5BC9AB535BDB9B5C5EDB6A9F365EEF8C |
| SHA-1 | 78AC95469AFC2B9A42A4ED83E44C57E3FECB8521 |
| SHA-256 | 166D4FD3BEB7F7B91944770E33D37A3226CEBC5B405FB9FFC6D59A2F688513B7 |
| SSDEEP | 6:XtOcTbF77dSfoiNQjo735vIK32lr2iTm1S8zKvyJsL:XFbF77XoQjUIE28bXz2L |
| TLSH | T12DD0A71155065E76A2852B10D17882B6826E82910315AEB01D1418E16454C4E466D8E8 |
| 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 |