Result for 9BE4CD3C5CB5FEB3EF4331C714961DE2B67AFE9D

Query result

Key Value
FileName./usr/lib/coq/toploop/coqidetop.cma
FileSize637627
MD5CECF66BA8DFDEB193D3AAC1355D1023F
SHA-19BE4CD3C5CB5FEB3EF4331C714961DE2B67AFE9D
SHA-256A59DC2C99BF5E1B9759AD4E19A5D2AADC8BFF2ECA72D523BFDBE75647DE82C22
SSDEEP12288:Mu1DvnPxunNQRrr5zvoDgMcNwN5EnkK6KRMukJvsmQwKW9K9sE66yRwSBOdhBM05:XJunmRrVvL+ukJkVwKWM9v6RwSAdhBM0
TLSHT126D4D64DBB68F972C89518BACDE4CE8B4310497F6913AF7B0059062989D331F6F45B8B
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
FileSize1825432
MD56DE5ADF02E4FBFD2B9C41B8FF58A44C9
PackageDescriptionproof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.6-4
SHA-16C5F6F7FA2495A5FA355F3C18B190B761A39308B
SHA-256ABFDC6A8370FDCB85BD53DC304E398B10ECF601E7311ED0ADB370C2E919EC27C