Result for 6BAEC70EA63E154F398FE210BAFEAD4A5DD4EA6F

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize2766156
MD559CADED0F2095D0CE9E243328A55CFF4
SHA-16BAEC70EA63E154F398FE210BAFEAD4A5DD4EA6F
SHA-256B3ADC3189D715BDA3A0FC06F5E167577F87FE51D9149230BE5F2F628EC3A1874
SSDEEP24576:60fNlI0RN6lvnJGe6hv9uFMZBVLLAJL445ibfbIi5UNlJMcQcm5:60FG0n6Fne9/Bz452VcQn5
TLSHT12BD52904FE885C65F3979A72586F03E28B5C5F8A06F5712B914DB1346BB037202AEFD6
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
FileSize642416
MD535992AA3ED50EDE2451389C02CF19974
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.4pl4dfsg-1
SHA-12115A545EC2739051243327AFB3DFBA04F896E1A
SHA-2562B5A1C31C7FEC307E745A8FF03A254733FFB3C23D7DBE2EF46FA1F65593BCBAF





metalookup is a service from miwakeru.com