Result for 6D46A29D8E6469B3F396FECDD32F6F8569305088

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize8006080
MD50532912C408C9A45B3B6B066772D67A8
SHA-16D46A29D8E6469B3F396FECDD32F6F8569305088
SHA-2565C49D63AD955EDE00A2D7906DF75E8280BF5064E4B080E25D944A64FA036048F
SSDEEP196608:SjaFscDrSFoWymk4RR3GZTk5UxRZSynIr2culIKg3ZXYIR+K3HC8Ah0jdEYyVtQ3:nLE33Uas9O
TLSHT11C861893F9460A7DC9AE8F3096EB533B3A704A401A11873BD564F3503DA72F9136ED86
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
FileSize5104178
MD5F6100BFF7A7A0DAA15C202AE059903FC
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-1205B1D8C721AEC25248CF71BCB083CF67E084650
SHA-25602EABF02E009D5E8F6D7AEE5C7821E78F059FE99B9E454114E439AA845D5E971