Key | Value |
---|---|
FileName | ./usr/lib64/ocaml/coqide-server/core/core.a |
FileSize | 43280 |
MD5 | 287B1B518000EF1C5F223AED8BC77261 |
SHA-1 | 118430E1AA1004B225B8CE921ED5E0F141892986 |
SHA-256 | D95F52054064C5341166F3C8BA8D27BCA5BB347BA1E9805FC06B218296F656F5 |
SSDEEP | 384:/V2Dgq7phLEUHlpqezJZvUulopqqIGl7n8pNP77desv8A78sMK5Zee6:N4hLEJAmqopqi78pNPNesv8s8sMwZ |
TLSH | T1401311077B8B482EC14586305472E370BA79FC98BE117B2736C8732D5FB1F486EA4999 |
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 | 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 |