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	4641500
MD5	B79B41B18D397AF812CD1E261770CFDE
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	0.87.3-2+b1
SHA-1	8D9F8833A32D55191498718BC958F7CD06BAE0BE
SHA-256	25EC961191C898A22C8BBA89272C08ADCFD8789ECBD481422AC99E67558D4BBC

Key	Value
FileSize	48038166
MD5	0F304B39D8F282D9FED387F931F350CC
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	0.87.3-2+b1
SHA-1	53D011A67E680A35408D02923B694ECCB2818116
SHA-256	104621B1E4D2A52FA23ECCA21245849D13ACDBB851C1BBDDEBD12700473CA416

Key	Value
FileSize	5058594
MD5	A3A0468214E0D213FACBEF0E35B345DB
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, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	2717C1C28C359B50FC1483AAD965AF070584EC14
SHA-256	76E731B0D9F08FE16CFAF27C6A5F4AFD843E149C6BF93C4ACCA1E487DD0F84E6