| Key | Value |
|---|---|
| FileSize | 15770472 |
| MD5 | 23CCDE01CB09495EF7BD165BF41F64BB |
| PackageDescription | development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-5+b1 |
| SHA-1 | 085FDB56537C505FD617D71ABDDF8BCEE23B67B9 |
| SHA-256 | A7B320C5A52E1D7F93F46C93DCEB9130BFF268F0A4C2B777D3F9B395092C525E |
| hashlookup:children-total | 975 |
| hashlookup:trust | 50 |
The searched file hash includes 975 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/proof_search.cmx |
| FileSize | 5757 |
| MD5 | E37D9935CABD89CB1D9402343A59BF56 |
| SHA-1 | 00F9D9CA0EFB2879539C24563FABB68B26EA0FC0 |
| SHA-256 | D525EA8FE255ED67C997F6F74EF2A0AC84F2930640396821DF3D21A8CE29987F |
| SSDEEP | 96:PlWivAGySmAIoQ2e5QYRo/1ChRfAOmtk+:0ivAAwpfRoMTR+ |
| TLSH | T1D0C18C127F3DEA9270B08632B85EB8D6CE29D149CB65C93B85E4CF467C94D1269CB306 |
| 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/interp/interp.cma |
| FileSize | 2377679 |
| MD5 | 1C698DB834D475D38C47D6453954EDEC |
| SHA-1 | 0152CEF9863C50F5D2ADE59A01ECBC74EE6BD535 |
| SHA-256 | E9BBAB6C5B97629DC4DE410CE6C56ADAD07F4DB4780259AECF251F89EFE0CA95 |
| SSDEEP | 24576:vaGzRYvuWItTCKMtAGNBWevWKg5YUTKhR2TjqnHbRZ0bBbAb+vIpyB3Li0HNSZ0o:UNtAGNBUP90P |
| TLSH | T18EB5F70EBB4559A1CC9946FEC9D992CF03244D3CA7D30DAB829B02D984C371E6F55B8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cObj.cmx |
| FileSize | 3364 |
| MD5 | FE079AEFC14EE4D19F3C5F5609A5FFE3 |
| SHA-1 | 015FA943593BC294D79F3428E942687A45CD7E86 |
| SHA-256 | F5211C12870ACACB2F8D39E81FB43CC564219153C60BA105507F1E0915E4E580 |
| SSDEEP | 48:Hg/12zACKyLxERtXxLi6YK9/FIt0211sBW3VmJnI+0mphLL+HED0/c:8GACKMxGtXXueWmJnyq |
| TLSH | T198619E527F5627EEB654B2793E68701AEA12E411CDDCC57392F64792B08AC0480F754F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/util.cmx |
| FileSize | 28831 |
| MD5 | 35CC04D617F0C66C9F9920BDAE6AFE2B |
| SHA-1 | 01897A640043A43204742D82D74D486687F5C382 |
| SHA-256 | B44E521B6845FDF446456B28E56BBA9737BF99100D8F2BF15F17719120BB79D8 |
| SSDEEP | 768:+YfyPE5IzkNL2uelVZAcDD2qDB7L2ue2QIcBUb:tUEU4L2801L2orHb |
| TLSH | T155D2CF12AE975AC3E9C5D77EACAE112BCF27F0918D74CF7698F50F4BA014945A1C310A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrelim.cmx |
| FileSize | 7851 |
| MD5 | B1CB58D4672C4FD8A1F80D285DBA4896 |
| SHA-1 | 01DADB7BE5CEBA9241C1F507C22352A6FB333D03 |
| SHA-256 | 117E19BAC7FE9A30E04515EC2962D5A2D662C2AF8F3E231E92C87F345F6D742C |
| SSDEEP | 96:GEQi4boHBPIWqAuimv/9mzObwFlgKH9n1azCRwF1n1dKLILTrCOPUViqBmdbwx4s:GG7tqB/9mz5ge1hkTJ6pVjgbQ5hb |
| TLSH | T11CF13B78F105BC2234E3C1A7D81AC493867892C28BA1CC75F2BE638DA91C76155D730B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 12182 |
| MD5 | C85129CA6F40EF31EFA90EFDAEB34188 |
| SHA-1 | 0214332346B40C8E3E6F3AE80C7BFDD48CAE46F1 |
| SHA-256 | 19CA398B2BCABE95B6958F98CADC6EB1B0C116F252A12C379B6621BE9047FB71 |
| SSDEEP | 96:3AIwFJRVWmR2ndZryIu+7y9QEGpq47C1odG+XV+EvKxBBbTkAncR0MSyOQ+ENOfV:3BqR2dMIu99ztA/TvKx/oR0bylOIGwG1 |
| TLSH | T173427ADD528FFC41E4B0356DC95CAEB28D2AD7D70FA2CFE184E94B026E44AE20597306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tactic_matching.cmx |
| FileSize | 7285 |
| MD5 | 84BE997FE7950B806BE94A75BA5556AB |
| SHA-1 | 02F0D0637DD975C4B7798D22FD19DA31325230B5 |
| SHA-256 | 01FC9EF5053784D13F039F89CC61D024EB418F1E273E2214471C6CE874C0E40E |
| SSDEEP | 192:qjViWltuGEuA7Xhf/FRLP0jDiHJEwcBFGzV983Re1YwKJAhwL+uJWCOJ+c1g/pcz:q5OuA7xfAgcC0h8 |
| TLSH | T196E162315A86B7B338F95473D945C2D34D2AC1C94F4CC06EE1BE8ED5BD495A113E3A0A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/uint31.cmx |
| FileSize | 2868 |
| MD5 | 6A1F250DA78FDDF94BC86D86093B4DCC |
| SHA-1 | 02F8D6C5794266DE6F84C65C63A49FDEE6375A69 |
| SHA-256 | E7F9167D0E388D65F4166625140898E6E83AC948AED58142F3FE93014FE754E5 |
| SSDEEP | 48:5EAxwchOzyIGKsbS0fR+qUBlVu5LtRFVB0VIbGx3kbK4My9:5EAxwchOaKsbS05U+5RDWIGxR4My9 |
| TLSH | T10451BA926B1B1DB7758AD2F0D8FCA42DEE13D4011DD046B78D764E0AB4BCB0795EE109 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cThread.cmi |
| FileSize | 1091 |
| MD5 | F51AF43798669BDCCE2CDF258F367535 |
| SHA-1 | 02FFD47D199F117CCA54607F3F5428DFCC890506 |
| SHA-256 | A459E4CBCA89496BC856A0AD021CC14DB0A30478232BBF48B1BFF31B3544FCB5 |
| SSDEEP | 12:ODzDCDD6KM/XmdOEaIkz4mCNbNwiHcnmF+8vys0bMXlz4mfIGvL1vV/0oNtt/2rK:ODKD2pIpbvP+V7MsQbDt/2HERz5j7AC |
| TLSH | T1B011CE9DA3684568DC05512DA1C706BF6B3322BEC2F34C67C6698FC4A05F04C934AD87 |