Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	126536
MD5	8A33BEA56A1FA70DB21BA07721B3C888
PackageDescription	Examples of programs certified with Why Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. . This package contains examples of programs verified using Why.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why-examples
PackageSection	doc
PackageVersion	2.34-4ubuntu4
SHA-1	6F16A84170FC098211AF362FFC81B491E8CCB871
SHA-256	265497DCB57566FBEFB1079745D6DF190811488183836F9E797DC24336EB0B25

Key	Value
FileSize	143132
MD5	A322B7AE74C5DA401086CAC1CA7CC631
PackageDescription	Examples of programs certified with Why Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. . This package contains examples of programs verified using Why.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why-examples
PackageSection	doc
PackageVersion	2.34-2
SHA-1	F36FE24E26814C41DC0C12310454D99C29C6B10E
SHA-256	0A261D23F7C3A8A9304ABE05D035B28F46E496829CEB5B2373D39271CBF286E3