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	10068536
MD5	F2BD59ED5254F11400A360BD9586BAB7
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	70D1002D66AC9CA76013EE5E49F9DB55B3BF847A
SHA-256	9101D0F9BBA8C835D8FACE7FCC3089DA5A7EE4AA7FE7DAA4A899B597CA45B1EB

Key	Value
FileSize	47077508
MD5	7C00B7F6942B5D2F04B30BADE25436BE
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	02A48CD3CEB2B9A0CFF9D42EAFEBD4993D8250DE
SHA-256	27E20E5BED7A300922AE53B657AD4BA0B65B7B33FC2B8AE3FD00E8958C56B6E6

Key	Value
FileSize	757256
MD5	DC043813F3334966C35519B94ADDB24A
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	53BD758F7B869AF6C011BCC99769C0F558D8BBF6
SHA-256	CA5554EB953714E8680CEC74AE451E3558D1F7587F8A5F1892CC4011A437CFFE