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	5393552
MD5	844FDBE8178439F970A9B1CB53CCA2A7
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	4CF169B2B797CBF7335B25028FD946D7CD0FECFF
SHA-256	F57898988215E2165F423EF345D661B4CD8EF2FD1433F6B30A261316683EEAA4

Key	Value
FileSize	756628
MD5	92861F9AFBFCB5957F25861DB8410B08
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	5B3CBF20D4030EE06FCE8ECA668D51624FFF7BDC
SHA-256	698256E8FB64A85F42FA3943E3A49DAA4FA358F7D00B45A379271EC563770864

Key	Value
FileSize	86989120
MD5	1615E7826411615DF0D6301E625C97E7
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	4723BB9E6AB8E5484AD1CEC9B0CBCD440A24DC0C
SHA-256	A86BCA34FAC913D9742038BC675D59CCF0830C6FAD86B9C9990A9BA8CD2D3D9E