Parents (Total: 6)

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

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

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	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	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	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