Result for 333D1BC50970962C1ACF0CC3C2A1C9B6278681BA

Query result

Key Value
FileName./usr/bin/coqc
FileSize1161648
MD5AF0ACD35A3C6CF9F0D5BADA372C2CC43
SHA-1333D1BC50970962C1ACF0CC3C2A1C9B6278681BA
SHA-25688C14B110A2ADA1BED0EEBB7FDE63DB25BBD6D2A2215FF83A0979ACF7D95C1D9
SSDEEP24576:x2XCA85OBFJlkAfCfEivxAlbPpUrqrSDMMzUoqgCNq+7RIkAkqo5tH/3SWC68uL6:AXCA85OBFJl/fCfEivxAlbPpUrqrSDMi
TLSHT112353B037E1CEE7AC8DD4938705B576E6365F2C126DE5B02291EBD20AFC32D41B2A6C5
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
FileSize57546728
MD554BED8241ACAF6AEB3A7287A86A879F2
PackageDescriptionproof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.1-1
SHA-1C73AFC3EECB381F3E786D7D1E0C73BDBE0624EBE
SHA-2564DCD7F19A122FAFEAC599B7CC69908C994A73A04EECAB976D770C3F3D2EFE5C9