Result for 24F2E49443FD06BCE429A61B302F5F3427C22955

Query result

Key Value
FileName./usr/bin/coq_makefile
FileSize1850920
MD520111BC69F253825CC5E9F545875E102
SHA-124F2E49443FD06BCE429A61B302F5F3427C22955
SHA-25672263685BD08CF07AC8F4951913179B5D2397EE4841E84BF4BF8A98678869C44
SSDEEP24576:hA9+roXduvf6iWJWv3fTSIoDhDJXQVCvmECPGRY:NroXduvf6iwWv3bnoDhDJAsvmESwY
TLSHT18485F64BFDAA8DBCC3FDC138899E4BBD7E71705985A12B0219C0A5201F036A95FAD7D4
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
FileSize76583920
MD54A0A60C5F62383BF2A1EF33A5C10765B
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 Camlp5. . This package 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 package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.11.0-1
SHA-1567BFC563A6BC7EEC6E0FB647F9B1B8FAB7C3D48
SHA-2563683F07BFCDB55E4542CD3E928E7FFE489BA7FB6C3AA1A82C2F0F340628B2BB6