Result for 253D178F0955B9415DB72A9DA60B068E7AA8160E

Query result

Key Value
FileName./usr/share/man/man1/coqtop.1.gz
FileSize1197
MD5C5CD68A89848A369D30C7A558A152B13
SHA-1253D178F0955B9415DB72A9DA60B068E7AA8160E
SHA-2560C54589AE7271395CEB470ED69085E205AB62E2207F9166ECA9C044157973A7A
SSDEEP24:Xz4pKouwtYzB0jYTyDpIhQxyQZS/mcJtSKDPvgcvvw3:XzuKoucwBqFpISZoTmKscXu
TLSHT1F821DA0166B221F6B216FD4E6FEE13C1F564C48AB0D4509A737D31B77476381350A1C6
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
FileSize8451650
MD5EDB8BE96D3E6ED335C384A2CE5FEE772
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.pl3+dfsg-1
SHA-1BA9D0C57D4C0BE43AA17AFBBD8CC2BD9D7B1D7B9
SHA-25663738B590BD93CE74A183B93BE529916DA19E9E078F714FA3BD01C4F616FA54F