Result for 73673B626651F992C94E09C0664E40ABE3882BD3

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize2307776
MD53A51023DDF6D0A86689D2CE76B6B5CD9
SHA-173673B626651F992C94E09C0664E40ABE3882BD3
SHA-2563250705F3A691D953B9A83CFD42D879D4DA1AF633320DB24774E6D96973CC330
SSDEEP49152:no2XWMjlgj35plOnas8HqBl+eKiaywksjVGsTn1:no2nghOnaoNKiaywkYVx1
TLSHT158B52791E9831476E3A6CA7785AF937B5B300F8804425B37D914B474BE732721BAEB0D
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
FileSize784708
MD5CF019C6A4FEA9BE7307C60702638C6EB
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-1A7F4385B4E5FB670F8B4341AF109A0CAD843DCB6
SHA-2563C1EF788A9EAAC0B8F9D1C9BB03F60E1910571950BD41C74C24067E97C86533F