Result for 118430E1AA1004B225B8CE921ED5E0F141892986

Query result

Key Value
FileName./usr/lib64/ocaml/coqide-server/core/core.a
FileSize43280
MD5287B1B518000EF1C5F223AED8BC77261
SHA-1118430E1AA1004B225B8CE921ED5E0F141892986
SHA-256D95F52054064C5341166F3C8BA8D27BCA5BB347BA1E9805FC06B218296F656F5
SSDEEP384:/V2Dgq7phLEUHlpqezJZvUulopqqIGl7n8pNP77desv8A78sMK5Zee6:N4hLEJAmqopqi78pNPNesv8s8sMwZ
TLSHT1401311077B8B482EC14586305472E370BA79FC98BE117B2736C8732D5FB1F486EA4999
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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
MD505B87308C8718B8A7D2B1AFBE8A53CFC
PackageArchx86_64
PackageDescriptionCoq 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.
PackageMaintainerFedora Project
PackageNamecoq-coqide-server
PackageRelease3.fc33.1
PackageVersion8.12.0
SHA-1B40BFC2643ED6A258513A8A7F5E36D0457AC93AB
SHA-256574443987DE26F71577BF3B729CCD35C0B4B5DA13C5EC628003BA08264B4E800