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	5059614
MD5	CB4799AA2C4F0137D1A0695C2D7DB808
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	D4638C1CA68B9B0D7DF6E3CFF1B7085547888747
SHA-256	D0212F8FCF6AF7E5190C212531AC612E8624FD91F74CB4796AFF8A835865D135

Key	Value
FileSize	4642410
MD5	47B397FFEB364E71F7DF8B8766D5DA04
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	08B7E042455C67DFB9F560872A880A568C676281
SHA-256	45891B99F33D75BF706B9798B0C5FA843109B03F3047CAADBF71D9E3C0E55151

Key	Value
FileSize	47986854
MD5	9E21143C3E62E3E2920370DD2818A45A
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	9A9E2E86E53337418652F2609C6A68ABB1527C71
SHA-256	8B86165D60BA99D73F6106F65D53948A88E230EFA61613F1E81041037C778170