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	757152
MD5	D892B50BC03570A06C766AFBEAA9E140
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	CD27F123D00A675795E47D036C61DA6DEB523081
SHA-256	B4653AFC6F181BEB07891EFEB56325217D05182A9B7466A5F45AFE006067B855

Key	Value
FileSize	39848080
MD5	131BEF2DDBD59334E0359F227FD671A1
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	6004C17C2B93806EA1AB65C735F8EAB65A345606
SHA-256	500154D007B81C97ADFC6D0FAAE7E9C8CF520C5E4A08796EF3BC7ADED960D64D

Key	Value
FileSize	9872096
MD5	F7184CD561840A776E2BA18E657F1132
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	7AA2CE44A5250E871016038BC767A43C6A9FCF53
SHA-256	EB5944DD740ED87D68F85599B5A573442F87AA265EC069A5B7154957626E95B4