| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop.opt |
| FileSize | 19579400 |
| MD5 | FA0CF03ACD78CCA31409F7FA8D109BC9 |
| SHA-1 | 43534C5FD21AB2DDE6CFEEBA3A55B5C6A4E0FD84 |
| SHA-256 | F8CC7BAFD48715F9390165EDA3A29CFCC7C4D497F67515A167515EDACC2C92A7 |
| SSDEEP | 98304:YOoST2mYAyJLflO2G92FaXa63jwIM0CijQXTJWPh6dY9BE3mkF/IC5v3Q:YSYAyJjRG8FQwIM0njMTCh79ODFAO |
| TLSH | T1C017181BFACA987DC2FAC235C5B553B17B61B4242991BB2309E0A3250F134E91B7E7D4 |
| 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 | 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 |