Result for 1427D6FF1FFAB11D705976DEED9CBA48255EEF1A

Query result

Key Value
FileName./usr/lib/i386-linux-gnu/why3/coq/real/MinMax.vo
FileSize31483
MD5C5F697EF108728AB06EDFEBD4C6850F3
SHA-11427D6FF1FFAB11D705976DEED9CBA48255EEF1A
SHA-25632698332EF9FD29E3BD6CB7739D6D324A464408689A7ADE2026C0125FDD3DCA7
SSDEEP768:I50C5crh2/5a1uKUNpzzSGFQivaX8O01A:Q/awILU3ziivI8OcA
TLSHT1CCE28136D5D0CBA118B1C9346A7834C8A641AF879359E7681631033DDB9FBDB2DB029F
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
FileSize4984698
MD5258457EE2D955582A43E54D4A1D63661
PackageDescriptionCoq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3-coq
PackageSectionmath
PackageVersion0.87.3-2+b1
SHA-16E0B6CD72170262BCC756863A04BA4D2DD4DEB8C
SHA-2561C450153D6C2BCC80D5A4E9A7D5C8DCD445922B41E298D9C90A50C4FE80F9972