Key | Value |
---|---|
FileName | ./usr/lib/.build-id/f8/ee8f374f83798a566a93b0129b36c1d20ac6fb |
FileSize | 56 |
MD5 | F436FCE5C7052A6C40C77787EEDE7537 |
SHA-1 | 007D9ABE25978BF34CF66AF41B92759FBE96830B |
SHA-256 | A7EAF49A1E4940C77F08082894FEF86C72F79106FC51AEC10125CF927C7CCE3B |
SSDEEP | 3:gCD/LTAYXAdKXuc:X/A6e9c |
TLSH | T1E5900230C93CE9957250169051015C583B446C8177146E01291F4176E1026490164881 |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
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 |