Result for 43534C5FD21AB2DDE6CFEEBA3A55B5C6A4E0FD84

Query result

Key Value
FileName./usr/bin/coqidetop.opt
FileSize19579400
MD5FA0CF03ACD78CCA31409F7FA8D109BC9
SHA-143534C5FD21AB2DDE6CFEEBA3A55B5C6A4E0FD84
SHA-256F8CC7BAFD48715F9390165EDA3A29CFCC7C4D497F67515A167515EDACC2C92A7
SSDEEP98304:YOoST2mYAyJLflO2G92FaXa63jwIM0CijQXTJWPh6dY9BE3mkF/IC5v3Q:YSYAyJjRG8FQwIM0njMTCh79ODFAO
TLSHT1C017181BFACA987DC2FAC235C5B553B17B61B4242991BB2309E0A3250F134E91B7E7D4
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
MD5A9E8E7A62E22FD672944836D012F9490
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
PackageRelease1.fc34
PackageVersion8.13.1
SHA-1E7E6EB0309971A782FC61577422D1E5823368AEF
SHA-256DF8CC4A91BE8E554232C1DF24D6584EA49C52A1452041E0E9B00C1CD2D73912D