Result for 3FF049B36D466E432987279AFBC92E8B460EA3A8

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide
FileSize7279936
MD52C116EBC81216C9C4E3FD55CDDFEDAA5
SHA-13FF049B36D466E432987279AFBC92E8B460EA3A8
SHA-256EDE4B5DCC9FBB652134EA77BA1C193022824B9CCF28A164B0D6DDDECC1133ECA
SSDEEP98304:JS49Rq81E+bjQrv2705n4g4k8LzLjmVNVm+2+tB1t8DPZx25eRDslNlzedH8Vxu+:JSP+jQrv2454gh9BK/GjE2eI9
TLSHT10D761A7FE95DED59FD5F8730CB980EE3B439B9489271C2122BA2225872C72C48D37592
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