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	3558880
MD5	9F34D9AF544ED47844280BD98F766F2C
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why
PackageSection	math
PackageVersion	2.34-4ubuntu4
SHA-1	75F549E44A77B8CA426C44BC18E0A725D9227528
SHA-256	06848E3A6F1FF397E7CB5A77F10F135866DAFFD33C3161807E189664C8659069

Key	Value
FileSize	3455196
MD5	EB763D134AD9FE8F58B9E0C7F64FA638
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why
PackageSection	math
PackageVersion	2.34-4ubuntu4
SHA-1	7216017042D176C4657047E85BC5BA97F830AD91
SHA-256	DB4D62B535FA7DE47C0091CEEDEC59C686D1E6BEBEA24FF52927F2CB41A1D203