Result for FE9772604ACEEB6E7A602EFA5039417A4BAD355C

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize2475428
MD5FC3A401ACA9745FC337598AD4F2494BB
SHA-1FE9772604ACEEB6E7A602EFA5039417A4BAD355C
SHA-25605541C97CA3344F6C92F76D4EE4372E04434358D09BAFFB10160923CE211669D
SSDEEP24576:w0iFxd36cYWNwQDk/2NAeuXrMHdRausdvnDLfwJnMIi5UNlJebNS:w0Axd36cYWqQDk/2NAecrMHdOvOnwbNS
TLSHT1A3B52B01B6885C26F39B9A7758AF13A2875C5EC902F4725B814CB538BB7077102BEFD6
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
FileSize894830
MD58A81F32DDE32CFBEAAC092E51FBCD6CF
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.4pl2dfsg-1
SHA-180ED2E6D0AEB310E96EE43DAAF21E5E6A8CD4080
SHA-25661112C0127056537EC14C6B396E6895390818764440BF3BC21A276B83932B27A





metalookup is a service from miwakeru.com