| Key | Value |
|---|---|
| FileSize | 3806504 |
| MD5 | D6F28FC9241665C8DBA0BC6E5B28B4D2 |
| 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.1-5+b1 |
| SHA-1 | 344034B6EA76915EC7F9FB2E6586BD40C96C0E4A |
| SHA-256 | 0458C049154E33E02D5B3588FC4ABC5188736FDC936C714BB2FF8D7AF9A16E96 |
| 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/ssrmatching/ssrmatching_plugin.cmo |
| FileSize | 510084 |
| MD5 | 7125457FCF40C2FC75B1B07980C49C4C |
| SHA-1 | 033578AA235D0076E865F8E2F1BE4B11AEC6E159 |
| SHA-256 | C2954AF5E648B7A45088E200C499C9B67B02C4025A11727259AD1BB9F85BE29E |
| SSDEEP | 12288:HK8hbkGdVvTkgxmxdry61/N9/gKShjBH0Q6:SBxdhb/66 |
| TLSH | T194B4312BFF480A61E9F817FD85D461CF092A076CD283C9AFC52F16E95CC630E1B89566 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmo |
| FileSize | 35161 |
| MD5 | 68A2628BB716177555477A0A2E3709A1 |
| SHA-1 | 0AF830DC4915B452E4D14340BF3992B15741A9D0 |
| SHA-256 | E5D80420BE3D4B5D162A82B83F12C31C85F783284C57A46288CCF6B5E9A6663F |
| SSDEEP | 384:Dukyp+B0mZbczPPt0fWRf0U7KqxOzl9rp+73Rr4tfZpy2vnoHfuJBnKR9qRTlPZT:a5+B0uGl0N9xJFg10GG/B0uHj5TLDf |
| TLSH | T138F21A0A76452821F9ED46FFECEB408A133846A5D5DBC42A97FA06C61CC027D5BD7B0B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmo |
| FileSize | 1772960 |
| MD5 | 04D988043F8E9C2EC00315721C37B013 |
| SHA-1 | 1597CBDE6583856292FF138431D92DE9252E6452 |
| SHA-256 | 1B6EF86F333185C524DE3A0D4812214E9B707878D33A6B7E719E6656DED784FD |
| SSDEEP | 24576:BiZ3DKPFN/COGtPKShr6ivj4sA8Q/Exacnb49xKdi:R9Od2cEcbO |
| TLSH | T17E85A70AB94C3E70D8ED1FBEEDD641CF022D1FAA52D7891F016A11995F873592F8390A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8843 |
| MD5 | 3D5659A9AE089B2C3852A3DF44E8B516 |
| SHA-1 | 18B75666B54F972AD13DA7E55B2455EA7A50389D |
| SHA-256 | D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00 |
| SSDEEP | 192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc |
| TLSH | T1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmo |
| FileSize | 317444 |
| MD5 | 6408ABDD5AF9953FCA7C8B8F794DA404 |
| SHA-1 | 3188FBE29D1543724714FA5B5E8CE465174E7ED0 |
| SHA-256 | 12D0628A6A22F60D38A6291F71CA56BBCDCF2FB3E80FCAB0F40756576F5704F1 |
| SSDEEP | 6144:1FR83RgvYr0TqcjoDYte/Fx3SWjDp5umvc:1jwwy0TqOFe/Fx3tCmE |
| TLSH | T1C064B90A72061D64EDEE09FDDDE44ADB03280AFCA1C78D67906E06EA6D8161F1FD2747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmo |
| FileSize | 344770 |
| MD5 | F0EB627C85A478D984CBAE3E4CCAE3EE |
| SHA-1 | 34FFE923A5BAF1EE86C9B4599F163B37C266930E |
| SHA-256 | 020968369B44DFE9E45B05C7D0C93071548BA2AE7737A0D36B32ED6D8EF77FC5 |
| SSDEEP | 6144:WbFj4f+QH2S8uenH+flBVagdd2vk9PIcfV:WbFMRH2zneflBTO89QsV |
| TLSH | T14974C40AB60E5DB0CDA985FEC4CD62DB1F148B6872D3C9F780FD42895E8131D6B9264B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo |
| FileSize | 180005 |
| MD5 | C0B1DEAF667D30AB80A9CCAFB29D7E90 |
| SHA-1 | 3FFC193FE53503C94DDDD677AFCF293B078579B4 |
| SHA-256 | E948C850C071FB8A24AD16D6FD7EE62819D2DDE3A795AE30EBB0DD7032073749 |
| SSDEEP | 3072:jc1A4HpEGP3e6WdYenYp8jdAfotcfxOmKCzZm:jj+pEqJyIod/tiOJ |
| TLSH | T1E50497077FB95D61CCBC09FE94F2958F062849A9B0E2C82B80E98F865DC5B191FD7712 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmo |
| FileSize | 409604 |
| MD5 | E5B90C611071AD805D9BC307B233CEB4 |
| SHA-1 | 4378D04B95EBDAACD88ECA5687786443F7EAEBCC |
| SHA-256 | 2790A62D846B2C6E9AADDE86A14B804215E54E71A5219058D8A52DA6398138FA |
| SSDEEP | 6144:SBKJc0qujXf6RY9M4r4dDkJKUWtgsYulkRYtI1ePTq0UfVGs+sy:wKJ7q2nr4OFLlulkRYk5nfVGsDy |
| TLSH | T1AC947609F6590B11DCAC29FEC8D642CB0698497C91B38D2FC1A90BD56E9131D2FCAB5F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tauto_plugin.cmo |
| FileSize | 53119 |
| MD5 | E8E5F5329F5F66681FE9343545FB2857 |
| SHA-1 | 457F6ADDBF6433204B330C641DD5CAA74A4F159E |
| SHA-256 | 5D2CB61BE8B7DC43FB195596033338FF0C3C42A371856C37E7A50BA075B2FD05 |
| SSDEEP | 768:MN/GTa5Iibe0uMzxHAZmZp1b3ZtG+cBk0+Kv9dTStD7r62XgSwJPjGxNSatu:MN+Ta5IibeIx84p11tKBxv9dTCr6wHZY |
| TLSH | T128338857BA5D5820CDAD08FDE9F6F58B033815A596A2CC2780F946C6ACC27091BF371B |