Result for 08479ADEF0E3EAAD4959E0ED1028EDAC4A476CD5

Search result
Graph view
Parent (3)

Query result

Key Value
FileName./usr/share/doc/coq-doc/changelog.Debian.gz
FileSize2055
MD50FB8FFF0B486EE92492A212E3803BA70
SHA-108479ADEF0E3EAAD4959E0ED1028EDAC4A476CD5
SHA-2561AC4111C4B00D3BCC034E44D5E013B833CDC19D0814357C7CAAC54ACD0C8CB51
SSDEEP48:XulImz2NEysIqo+GXCKa2QdigZ7jtxU+R/xRlKMbS:enWEysIf+GSLdFZY+Nx7KP
TLSHT16C413A0F99DCF76F4E3F1B9C2FC55B826A20290F9592EB10E103C5AC324DA6E6D08C54
hashlookup:parent-total3
hashlookup:trust65

Network graph view

Parents (Total: 3)

The searched file hash is included in 3 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
FileSize2592376
MD5338D9464CFD5B6725AA11D38BD5DF5AE
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.6-1
SHA-14F2A7E83C90CC8C32980F3CBD9A1131870529094
SHA-256327BE56C7FCE4CC98DFF30A5CF05A84B9B2698D213EEA0BB0E8B2F5E581D4ABD
Key Value
FileSize63758
MD56DC4BE592DFA4E4AF0484FEF809406B4
PackageDescriptiondocumentation for Coq 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-doc
PackageSectionnon-free/doc
PackageVersion8.6-1
SHA-1163AFF2CF3C2A0EDC00DE2CCD87FC35995415B1C
SHA-2561F99C276671FAFD5D4617D1A53495C97B4F25ACFA07ADD51337579DB29A8F011





metalookup is a service from miwakeru.com