Result for F24A158B00F5E6431F4468C784A5AA709566B4E3

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide.byte
FileSize1445235
MD5D767F608300F185954965651167C0FEC
SHA-1F24A158B00F5E6431F4468C784A5AA709566B4E3
SHA-256497B3383D67040000436DB5E7E615D05672B38B747592BB21B12F37B922052B1
SSDEEP12288:f3FTEB4GuqyObiMJZNMfjiyQ8dRaOtcv/HmPwrElqKIdnsQrIi5UNlJQff:sqwrE6rIi5UNlJQff
TLSHT1F565ED0AB7108E62C3E5CA73D993C2811324EE51EB46071B319CB67C39B3B7E9A5D758
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
FileSize202916
MD58C8AF01E1FA09000FB1A9C405FDAA4AB
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-1BEC27B3A8F8A46A2E65DC9505CBB3943D1B50699
SHA-256019C91E4DF837B19A9B96D5652B6802C5D596201C09A76429D6584F295CF6E8A





metalookup is a service from miwakeru.com