Parents (Total: 4)

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

Key	Value
FileSize	5054120
MD5	88BD24959FECB1FDF707D21313770D39
PackageDescription	Software verification tool 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why
PackageSection	math
PackageVersion	2.34-2
SHA-1	753D46FB804A355A83538372A6C1278E94A4E068
SHA-256	EC5E2B4185CDAC4CAF3ACCE6B4CF63AEEBDF63192E21BE65D999C00B94DB6289

Key	Value
FileSize	4889582
MD5	C9D28A0596D0CE480A9061B364F7ECAC
PackageDescription	Software verification tool 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why
PackageSection	math
PackageVersion	2.34-2
SHA-1	7D82D105535A8CC197573696FC98ED5F91EAA332
SHA-256	9524CEC44D12CE61BA9CC93B2FD6167F6596F9A8AC11D8D0032AB5812B11E849

Key	Value
FileSize	4710244
MD5	AD033056D6D5C385C23BBCAA9C4F0D43
PackageDescription	Software verification tool 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why
PackageSection	math
PackageVersion	2.34-2
SHA-1	C221AC51B5F4E71F27687BFCC35A76891C2F92AD
SHA-256	ECF3A6AAA69F7039AD7826FF113383243A8C386222AA118A47DEC70B9C7243DB

Key	Value
FileSize	4788312
MD5	A3B3A5FA0340A5FC2273FB7939E25074
PackageDescription	Software verification tool 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why
PackageSection	math
PackageVersion	2.34-2
SHA-1	BA508499118EFD427B4506258D7E3E9CC4B7E288
SHA-256	6C7683989E92E81FB8027EC34FFB69174D52E3947548C37076C53C27AD09ED5C