Result for 39EE727C8EBD82F21450BC64D39812875896DB76

Query result

Key Value
FileName./usr/bin/coqproofworker.byte
FileSize29019865
MD5ED31118C9556A556DFFBD070A2CF7B1A
SHA-139EE727C8EBD82F21450BC64D39812875896DB76
SHA-256596E3A18F9FF65F49CD7776602D0AC7719EF9686BA8CE7C5359294CFE934A518
SSDEEP196608:+IFCZiXqrIL4zV/1r23kOWUAbrA4SP6xedVox2jHV/:VQiX1mV/1r23kOWUAbrAfPYedNl
TLSHT17557074DBB28E571C88819BDCCE5DE8B82209D7E66535DBB104C075998CB35F6F08B8B
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
FileSize59502048
MD5C1B4FD0DD8C9A353C1E8B9C03411B7E5
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. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.1-1
SHA-16CCEC30FB7AC805459B15BC5860C77DC6901B120
SHA-256D57E890C2712DDDCE19080FDCB704C920E559E9AACB75C194885D39A91ADB647