Result for 007D9ABE25978BF34CF66AF41B92759FBE96830B

Query result

Key Value
FileName./usr/lib/.build-id/f8/ee8f374f83798a566a93b0129b36c1d20ac6fb
FileSize56
MD5F436FCE5C7052A6C40C77787EEDE7537
SHA-1007D9ABE25978BF34CF66AF41B92759FBE96830B
SHA-256A7EAF49A1E4940C77F08082894FEF86C72F79106FC51AEC10125CF927C7CCE3B
SSDEEP3:gCD/LTAYXAdKXuc:X/A6e9c
TLSHT1E5900230C93CE9957250169051015C583B446C8177146E01291F4176E1026490164881
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 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
Key Value
MD5BC0491BFE94676A618AFAF551B197C03
PackageArchaarch64
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-146B9EC5679731AE653DCCFA1D89E2331ECCB1A0D
SHA-25630B52D30F7A09A8B80CB9E3D2F43D69ABD1466467881E0ED29D0085807B63943