Result for 9F7545F262D56213BD50D64FFD36E617DEEE700E

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/coq/toploop/coqidetop.cma
FileSize636004
MD55933E37CF2FDF69D575EE6457B384C54
SHA-19F7545F262D56213BD50D64FFD36E617DEEE700E
SHA-256A2ECA5DEC96151CFD7DA4D306E187D641BBB0C59FDB59EB01C2479E35C572301
SSDEEP12288:Zst8rFHCgka97/i/62rLcTQiwFFjwYgfe3KyOHh0ZOcsSbBSyk/vw+Ons01sF0Hb:Z0ACHa9Li/62rLWe3nOHmZOcLlSyk/vg
TLSHT15BD4F60DFB68E971C88918BECDE8CE8B5310597F69132E7B0089076984D636FAF45B47
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
FileSize1544828
MD5F26EE9BF27978AF0B8391FC2824E1241
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-5build1
SHA-153D10ACCC3FE5C902A90C08C3718879A34E5E086
SHA-256E41A56E5DC054395A99A0AF397B673D763F9BFC1C58A78CF8F49DCB8B1880627





metalookup is a service from miwakeru.com