Result for 1FFA0C348AB868E14E45BB9A3CD865DBD4DCCA8D

Query result

Key Value
FileName./usr/bin/coqdep
FileSize2659908
MD56FCA16DC99934D45EE65E196EFC5AE05
SHA-11FFA0C348AB868E14E45BB9A3CD865DBD4DCCA8D
SHA-2565413F470C8E5A429CAF2EFB5716E2AF151EF69C10798B8EEC61E94D79F35D596
SSDEEP49152:YLjqEvmvQZrv3Btz0ckyKjJBxTJ3ZwN5nsgJn94Aw02XiWaHm1OhuKRsXhXGiaTU:YLuEvmpYnfWSFYKQU4p
TLSHT1FFC5542BF71F387DCAE994F538B9A788A208F14869C091A35E1572641FC81F9067BDCD
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
FileSize57546728
MD554BED8241ACAF6AEB3A7287A86A879F2
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-1C73AFC3EECB381F3E786D7D1E0C73BDBE0624EBE
SHA-2564DCD7F19A122FAFEAC599B7CC69908C994A73A04EECAB976D770C3F3D2EFE5C9