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 |