Result for 407E8BF4E1AB1854D30B4079DFBDDBD088390A15

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize7004836
MD56FAA6C587BC7C6061F64F16528B25A27
SHA-1407E8BF4E1AB1854D30B4079DFBDDBD088390A15
SHA-256718545FB90D25B101DB2C5662674D602AD9A957214D52DAD21F0BD94F9B9AF64
SSDEEP49152:9sMx/0CdSf0Xpljwi0jHxD37TiOtk/DpkGNEMxQvJKDQBoKzqn53QL1KjtVHsPBr:9sMhs8h8137mIoiq5hVHsP1
TLSHT1116609733C869D16C13AD230AD8743229A36EC6A96A19F2E7721722D4FD978135CF5CC
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
FileSize4595302
MD51251514727C65A6DA6924EF26884732F
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.0pl2-2
SHA-1661EADCC24D802B53F01F843E51F66C1C46F5753
SHA-256488850C703C42ADCF0A1A596BC0B3B85FE6A077A1AB4530CEAAADEEE146BCDEC





metalookup is a service from miwakeru.com