| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop.opt |
| FileSize | 14197688 |
| MD5 | 16E004CDDB0EA7824DE5DF0F4C061E9C |
| SHA-1 | 25D2D0DA83C38349A83A3646D2671E5FB07B5480 |
| SHA-256 | 23E2E8A68F943EB55D2BD245BD822B645AAAD0DBE4A3DF68D5D0881F384F6CC0 |
| SSDEEP | 98304:NLvrolsa9UL2xnCVs/LI87+OXA7j27NUPOPo0Pp3rs5yg0r6GHZmattXDIOtbgYG:Nzha9ULoqsE8qGACNU2LRngn4UY |
| TLSH | T15CE67D57BE0C6C2ED5A7A670B0AB674BD324F1407AE257435D0E32656FC20E41B3B9CA |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 23884A6EBE3FE75847E831B1CBD59051 |
| PackageArch | armv7hl |
| PackageDescription | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides the coqidetop language server, an implementation of Coq's XML protocol which allows clients, such as CoqIDE, to interact with Coq in a structured way. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide-server |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 16B2D052CB83311298EE00378ACED9CA58AF0C00 |
| SHA-256 | 953CB0532569425C2A0186D12D6C8CEB60E58429B272B3DC0220A91128FCEF63 |