Result for 164C1493708312B4BC30C61EDCA3BC8DD3CE7EA0

Query result

Key Value
FileName./usr/share/doc/coq-doc-html/refman/option-index.html
FileSize14898
MD53EC26D49B617DDB11DEB81B4D653172C
SHA-1164C1493708312B4BC30C61EDCA3BC8DD3CE7EA0
SHA-2560361A09FD0AB682E35A6073BD9E4827DCF82FD2E08F151263C9BD9DB6A5EB9CE
SSDEEP384:Z5f4SC6UTvptNuYktp/YgKyNACzT5jYj+f/v+yPHGttlJGz4AHG9t6pobOK3Jp5t:fjhdwHvFnHv
TLSHT16162B910834798AE96F282D1A4572F1A32F32A5D931E180A16784F3EACD5DF4B56F07F
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
FileSize548554
MD59632CC05FA4B726F40D931DD1350D0EB
PackageDescriptiondocumentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-doc-html
PackageSectionnon-free/doc
PackageVersion8.6-1
SHA-18AC904D680E0AC36CE1D804EB207538C415526A1
SHA-2560ED05F70217FD734D413CF7AE4DC0497BA466353305F46A2C803168485B64EE3
Key Value
FileSize462740
MD57CC59BC8505B5418704944BB8171ECCD
PackageDescriptiondocumentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq-doc-html
PackageSectionnon-free/doc
PackageVersion8.6-1
SHA-1822DF86E6B488955ECD75D3E62647048F10369F5
SHA-2565FF5F9B3AC2136E450CBB61573CCBF90CB5B8C7DD084774839BF3C4DDA35E588