Parents (Total: 1)

The searched file hash is included in 1 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