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
FileSize	9601920
MD5	F9FB2CB43A2691197A9D335FEB2422E9
PackageDescription	OCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libwhy3-ocaml-dev
PackageSection	ocaml
PackageVersion	1.3.3-1+b5
SHA-1	F49F5ADBE94B1C602F7238BF972571265E5B272E
SHA-256	47D0D63C83C174C4B19BAAA359ACC47320690E28CF79F5F442CB3E4F6966F802

Key	Value
FileSize	757080
MD5	DE66438F9E60ECEB93511383E49517F1
PackageDescription	Coq 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	CF1BCD0BD0EEDE64487DDAD5C215C96AB15D77B2
SHA-256	81A6A1603870D368FBD79C48A4E5D54E9BE632949A061695866F755D41B47EB3

Key	Value
FileSize	36713460
MD5	56C6E1D8AD53854A60F8F753AAF62D87
PackageDescription	Software 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	799735C7B76D4003487413C19AEEC4FCF8237334
SHA-256	91DB3C7F53110DB0660C782C83623ACDE83BA6647153F19DA9BCFDF5498B6B9B