Result for 10831496E5C84E705F86096154A79B4D0AC3DAA8

Query result

Key Value
FileName./usr/share/doc/coqide/changelog.Debian.gz
FileSize4396
MD5E163443F8E35205B8230FE39ED3028AB
SHA-110831496E5C84E705F86096154A79B4D0AC3DAA8
SHA-256DC228191FC106B5522D3A2CF95B4DAE1058122FB817066007213E6A3372A2F70
SSDEEP96:CVkk8x17o9GuWPx5G9+mX7jqNL8Z32Nul+EDj6XM0KzitcGXO+:qkkA17o9uPg+L8JYEDj6XM0GocG++
TLSHT125917C7673679E820AE0AD3924E617A91F35D9CC380008C0B6581ECF23281FA1DA4C7C
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize3437032
MD5513FA7795B1C138E3614792E666CE70F
PackageDescriptionproof assistant for higher-order logic (toplevel and compiler) 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 packages provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-1B2A4C2FE32C5537E0A781B8BBB8E0ADEC7DDD8A2
SHA-25647872A13DE9010FEEC1979699A5B93F66A94123EE3D4CB8EDF331B0E796A8925
Key Value
FileSize2338102
MD54DFFB017424101ACBBBDDEB8BECCDFDC
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.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.1+dfsg-6
SHA-13D63B26CBAB6C88FDD4278051BA2DB5FE595134D
SHA-256F2D154AA954AC3D82DEC6001A74D7CB0A6D3AC39110714BB0A71E2788AC3941B