| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi |
| FileSize | 5396 |
| MD5 | B246F314C87E4C05CD4BAE87D321D608 |
| SHA-1 | 185614846D0DE6574838C004EC8C8B5AA795EAB0 |
| SHA-256 | D932C35D7AD01856EADC0FB2375963FF3298CF056D3A113D29E8F8EFD00C9620 |
| SSDEEP | 96:Z6QfzSnsLOkvEpz/CR6Zjw1IXDDlQ6dN3kUvHf6L5t:Z6QGeOkOzpw+TDeIJHf6Vt |
| TLSH | T1CCB13E1F53224B69ECA4699D5788437B5F242B7ED1F2CC7FD51A5FC012A901CA3A80C7 |
| 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 | 4FB69DD53D5955B4E6F8ABF2BC475FF4 |
| 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 | 3.fc33.1 |
| PackageVersion | 8.12.0 |
| SHA-1 | BFE4D9EEC48FD38862928462B023982042F2A38E |
| SHA-256 | 28366385C087FC77490F36BBD61160548DEA12052B38045367509F4FB25C0B54 |
| Key | Value |
|---|---|
| MD5 | 05B87308C8718B8A7D2B1AFBE8A53CFC |
| 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 | 3.fc33.1 |
| PackageVersion | 8.12.0 |
| SHA-1 | B40BFC2643ED6A258513A8A7F5E36D0457AC93AB |
| SHA-256 | 574443987DE26F71577BF3B729CCD35C0B4B5DA13C5EC628003BA08264B4E800 |
| Key | Value |
|---|---|
| MD5 | BC0491BFE94676A618AFAF551B197C03 |
| 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 | 3.fc33.1 |
| PackageVersion | 8.12.0 |
| SHA-1 | 46B9EC5679731AE653DCCFA1D89E2331ECCB1A0D |
| SHA-256 | 30B52D30F7A09A8B80CB9E3D2F43D69ABD1466467881E0ED29D0085807B63943 |