Result for B47BE9E212ED6730176481CAE958231CA734AE27

Query result

Key Value
FileName./usr/bin/coqide.opt
FileSize10619448
MD5F8C25A8276E3870C6FA6FFFE1628414A
SHA-1B47BE9E212ED6730176481CAE958231CA734AE27
SHA-2568D7F0CA2946F838FB19A8D4BF934C0C24B6E544CE575AE105971DB3E4946CBAB
SSDEEP196608:XZXaFscDrSFoWymk4RR3GZTk5UxRdSynIrUculeCg3ZXYfR+K3HC8dh0UdEYUVtk:QFqNMh
TLSHT1AEB6E957A8D589BEC6FAC53D86A3163279F178501B607B022AD077253F638EE07BD780
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
FileSize5488336
MD52099EC6FA460C414A53432A09DE466C0
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.3.pl4+dfsg-2
SHA-144A24B113AC9D36555870832844C383404C5C9E1
SHA-25656E6841D371F3B309A8F8C4B042F2BB711D5D1156A6430F2BD5967215EB032F8