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	86998020
MD5	8FB3C51B8E6541AB5795B95269663334
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+b4
SHA-1	7752D067155B47D5238E8650974704DA5FBDC278
SHA-256	E2A9DEB14CC7371FEC725DE1FC43D9D481489A8081F3C6415BC9E5CC6AB3C624

Key	Value
FileSize	756824
MD5	D212890A9A3867C9E26ED1FE725790DB
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+b4
SHA-1	17E4B419ED6A0DDE8DEF9EF8ABFE1C57D1C82015
SHA-256	388CAAF9F4C86215A5CD034E143CCC94C1B273DF86CE4F12535F4D96D3CAE411

Key	Value
FileSize	5396144
MD5	D83A367C023019FB7FFA07C20D43439E
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+b4
SHA-1	E766FC44CF1937BAD6FE4F6F2B5FB92BF2BD6F71
SHA-256	5B3D163840E49ABD8337CE15AD94BF9314F3E3817FEB9E100784EF8C08F91DAD