Result for 6D18F6467EF0B3C11F3694868322C84B6D2BAE17

Query result

Key Value
FileName./usr/share/doc/why3/changelog.Debian.mipsel.gz
FileSize227
MD51C820D25590BC71E1BC53B03FBEAA193
SHA-16D18F6467EF0B3C11F3694868322C84B6D2BAE17
SHA-256D90AAB176CB97C8FAA9B2D105BD324B291184960410CD44A751CCB40716F5DB0
SSDEEP6:Xt7lWcDTTrC6rmNrpFZlHTgAkczMSWNEmNb9aEcv8xKp:XBQcD3+FZlHTg5cPWNEmWfoY
TLSHT13AD0A7768D09423AC62E2AB5140698DC97E245055962A611C6558142208B3CEEA468B4
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
FileSize4642336
MD54E72954A991A64D087D8A509DAF9F00C
PackageDescriptionOCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibwhy3-ocaml-dev
PackageSectionocaml
PackageVersion0.87.3-2+b1
SHA-124470CD59F14D91E299385FA147FDDE179331F0D
SHA-256706FB0391D3D7FADB05BCBA0EE90385B22F352805EB1B4D77E774A714E9C9F1E
Key Value
FileSize5060124
MD5B630BD2BB074FA89E2BDF20EDD26ADEE
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-12643FFCFCB940C849C9E89876EB5D6A2CF6C77F0
SHA-256786B6449F9BBAD39E1B30B6A524B99601FCBEA5F0879073B23295CE8FF1F30C8
Key Value
FileSize47976530
MD5434D37D43894DD581C34EE1E05B9FCBB
PackageDescriptionSoftware verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3
PackageSectionmath
PackageVersion0.87.3-2+b1
SHA-11F964A81E3AA6EF1B4688E6A4DCE1825EF7915DE
SHA-256B5D9779065554311B3272A4B67D1E01D53EA3F346D0BC3699F0C2B0312E26CA4