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	5394084
MD5	AFF5CF00C9CC3079BF5FF754219F35A5
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	95A95FA7C09722FE14F17574174D48783DD43F7B
SHA-256	2160D56F7DEEFED51AEB9C9F6003C8020EE8E5EF80713462EF82B570113ACEA6

Key	Value
FileSize	756652
MD5	74D2A92A4692EBEA3AE8C292959BA4BA
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	8537604DEB0C48716E16ADB63FAC8CE405C85523
SHA-256	D0F92D226DBB80D869F8213C03A618DB7868B513C43A9C63BB347A61E6A10A56

Key	Value
FileSize	86940980
MD5	2E7AEC4F190D2DD5FAF019C6A43138EC
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	B2EDD4FF1EE29F2E9ED2718116F45625973F8C74
SHA-256	83BD6FF913345D7E0291CDB585C2DE0A0AF9A9D35BD3A62CEFBA27716BC12C9E