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	756836
MD5	1B1728629CF6E6A91CE720A6D40C370E
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	EA9FED3C5DB5129B3850BBC8A7037D035358F9DE
SHA-256	8E65512526DD71749ACC9299FA1A758081717DE1B5CA28166FB49316FC8D5B30

Key	Value
FileSize	36720980
MD5	7B4582B7605D07A3583350E0D1F06C78
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	3462F6F8590FBF817856E0FEE6519AA743890F48
SHA-256	23B092171CEB3AD555C67D3C70F81FDF565F90B0BA12438AF00274FA80D5F84E

Key	Value
FileSize	9605604
MD5	164CD27CA958C7ABD1083370929E94EB
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	51621B4EE48BC5D08038F31D3B32251570524D89
SHA-256	CA28E3F069A49FF03D22D385DD5DFBEDCAF67F8D7B5F282355FC8166E7580726