Result for 053A36A116CB52C1515F3B304BF02646AE134ED7

Query result

Key Value
FileName./usr/share/doc/coq-doc-pdf/FAQ.v.pdf.gz
FileSize385083
MD5022679E51C6274C6FEE9013577BBD2FF
SHA-1053A36A116CB52C1515F3B304BF02646AE134ED7
SHA-2567A2434ABB15F37454601B2C878C6D417F60E1012CF54DEBB8F851354580D47BF
SSDEEP6144:LapsOE379x/QDCfuZI+jNBRqi/VAfCV5lKBvMtE2KVS4khJW8H9gGcwYgJqIW7Em:2utB9PGu+j1SfClKai2KEZjW8H9Hcxgm
TLSHT1E284230FFD66B02365B8E2BF8CC6CA2701D64B31E711256C946B40CA16ECBBC7E56674
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
FileSize2467952
MD521871C24E455EEE22A6DCFE5628532EB
PackageDescriptiondocumentation for Coq in pdf 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 pdf format.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-doc-pdf
PackageSectionnon-free/doc
PackageVersion8.4pl4-2
SHA-14350756C8063E8776A8348E384158259ABEF20C0
SHA-25660FC068137C9B5DA3B5AF47C4E22C71A0D5098B2646F0873F2828C656A213DEC