Result for 6844A39E829D8F6D44FB7C0680BA8538E4AD7AE3

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/coq/toploop/coqidetop.cma
FileSize636004
MD5C023DB584D89C72F141B170B8C209CAD
SHA-16844A39E829D8F6D44FB7C0680BA8538E4AD7AE3
SHA-256B5D39C43CAB08CD9A5B55D357F834157E7DC25EF9F796F7A86897E819E7D68A9
SSDEEP12288:Zst8pxHCgkY9J/i/62rLKTQiwFFjwYgfe3KyOHh0POcsMbBSyk/vw+Ons01sH0Hb:Z0CCHY9Fi/62rLEe3nOHmPOcJlSyk/vK
TLSHT126D4F60DFB68E971C88918BECDE8CE8B5310597F69132E7B0089076984D636FAF45B47
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
FileSize1701988
MD5361FE2CDA62C36B39BA44170281478AC
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-155C5F051F5426DAA58C99726BD4912B68C715E08
SHA-2560491ABCD967A2561C193EECE87D5DECE48CB46925CEEDC0D1F26FB2FC9213AAF





metalookup is a service from miwakeru.com