Result for B90573BCD04A7B6163EE9C8FDFD75F5177A5551E

Search result
Graph view
Parent (3)

Query result

Key Value
FileName./usr/share/doc/coq-doc/changelog.Debian.gz
FileSize1882
MD5BBB49B3D92B6AAEA1113ED6F7AFA8806
SHA-1B90573BCD04A7B6163EE9C8FDFD75F5177A5551E
SHA-256E98BFED59D33884933A836FED7C3648FABA3F4F445E3E4B79800467F87F19E86
SSDEEP48:XOXQ+XCEl5DNhHelfTJ7QjO4BROD2cdNGZDS5hXq5xuz:pepdHelfTJ754BROldNG5Kh6G
TLSHT1A941F944FD5DD639E016552FC649C7A03C9B9D61B63A6804E14686CC4BC2A3D0D0632D
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
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
Key Value
FileSize473720
MD5512439FD435BDE2A002B0788B053B4A0
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.4pl4-2
SHA-16BF752FAE086FD79AF57D3C2CD3DC8017CD66CF5
SHA-256B624112BA962DA667950A36316AF845F2A5FD205617941E772A238A538A6A89C
Key Value
FileSize50462
MD5D277E14458467F623AAD99B7FBAE665C
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.4pl4-2
SHA-16D1CFBD1EE5B4B5096C5B6ECCF1A150D3A14002A
SHA-256381EB08D65EA44F0378AB81403996212C096E1E6EC41EADEAF5CF72542EB739F





metalookup is a service from miwakeru.com