Result for 552215393512E6FEFA9C2BA390AE14AFF09F3115

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize3401784
MD5D2A54C08B11F8CEA67141AA72E04EC40
SHA-1552215393512E6FEFA9C2BA390AE14AFF09F3115
SHA-256D4E17153F0EF336DCF6009B35100EECB1C154AF81269B908D508FBD82CFB9452
SSDEEP98304:aMQBO1g1Gc6Enm8jyVDTjZSsH3cez2Nu2keNPki2fG0EObmdMWt/9xvzZpZawNK/:TQBO1g1Gc6Enm8jyVDTjZSsH3cez2Nul
TLSHT1B9F5E757A8A189BDC7FAC43BC1A35A3679F13C500B617B16169172302F739B90FAE790
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
FileSize996648
MD5AFD5E1FC11F10CF05EEE8AA26FA30A56
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-175189371FA3B7EB61AF9DC43F9A7482E02120A88
SHA-25684C0E9641DF178496DF85A681D1C2E849AF67ED2D7AA4CFE118800A6AD915127





metalookup is a service from miwakeru.com