| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/82/cd8aec939842eb7eed07ae054c614edcb08379 |
| FileSize | 62 |
| MD5 | CCF8E650687A073235519FF63615849E |
| SHA-1 | 04D76874B9272B694031E1D09EE8508897C0AC9E |
| SHA-256 | 234E64ACC4DCF0C408BFD525867840B7513A45423F135E300E1B45AB962AF89A |
| SSDEEP | 3:gCD/B06TAIPJ4PJyT:X/2Ni4xyT |
| TLSH | T19CA00230E13EE3EE70C0281051413C049F4C4CC1B7146E01221FD5B3B0C29890770454 |
| 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 | 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 |