| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/opam |
| FileSize | 1051 |
| MD5 | 70CC9B7A44E3A0730B211D66F1A2BED2 |
| SHA-1 | 440D627E367513C368A1CCE6AFA59C318D292D42 |
| SHA-256 | B4BDC80DD1A98F2E2F1144BE01968E4CDD5323297B249C162F307C2600D02D0B |
| SSDEEP | 24:qGGvhqtPs5FcMSQK+XA/qY+Zvx2nwYcRJ0sY5Xmir0n:8hqtiFzK+Q//+ZvU+CEIA |
| TLSH | T139111237C54E4664B5880490AC9926E2BF7F6A8B43B01456F1DE441CBB43DA013ED631 |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | EC561DEE63D34DD17985E17FEE7F9784 |
| PackageArch | aarch64 |
| 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 | 99687C2DF461F476E86B31943384925464F945FC |
| SHA-256 | 243EF511A1A8ACE9EEABB94B993A6162650E81D69428669C83CD665FC9DC8394 |
| 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 |
| Key | Value |
|---|---|
| MD5 | A9E8E7A62E22FD672944836D012F9490 |
| PackageArch | x86_64 |
| 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 | E7E6EB0309971A782FC61577422D1E5823368AEF |
| SHA-256 | DF8CC4A91BE8E554232C1DF24D6584EA49C52A1452041E0E9B00C1CD2D73912D |