Result for 22F531FBF9FB6C7329833AA429279E2222ADFA53

Query result

Key Value
FileName./usr/bin/coqide.byte
FileSize8050208
MD586DBF521E8364C274C9394AB6CFAE1D6
SHA-122F531FBF9FB6C7329833AA429279E2222ADFA53
SHA-2562D82043B9BF000493A685999D67D48E0567BA0AC6010FCFFF65157AD431E713F
SSDEEP196608:eU/NNacqm2paZr7mCqGnf+xVqHG4RwL+u+fQKYNq:eU2tK
TLSHT18C86610EB710DDB2C4A60AB7CA87C2455336EA76AF030A1F319D6A1C29D3B5F6F44749
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
FileSize5488336
MD52099EC6FA460C414A53432A09DE466C0
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.3.pl4+dfsg-2
SHA-144A24B113AC9D36555870832844C383404C5C9E1
SHA-25656E6841D371F3B309A8F8C4B042F2BB711D5D1156A6430F2BD5967215EB032F8