Result for 144826BC7C892E78E791593083BD761A27DD35A1

Query result

Key Value
FileName./usr/lib/ocaml/coqide-server/protocol/interface.cmt
FileSize60829
MD580D116E22C2FFCC9A63B1AA4BEAEB7C4
SHA-1144826BC7C892E78E791593083BD761A27DD35A1
SHA-25665CE61D772978AC37E5949CB2B34DF8301C70D02FA40A31399F4FA1BDBD62BE0
SSDEEP1536:shXx0kBNGpC0282bnGwHsNhc/WQKM+bV30l+eoX:YlGUJhYLe3+eU
TLSHT11753E77BF1264B65EE892CFE5D79809317704D3ED5E1C83AE08C0AE1119A97E07624EF
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
MD54FB69DD53D5955B4E6F8ABF2BC475FF4
PackageArcharmv7hl
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-1BFE4D9EEC48FD38862928462B023982042F2A38E
SHA-25628366385C087FC77490F36BBD61160548DEA12052B38045367509F4FB25C0B54