Parents (Total: 7)

The searched file hash is included in 7 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
MD5	3976AC7D904F7E924847FC1E16842DA4
PackageArch	aarch64
PackageDescription	Why is a software verification platform that applies formal proving tools to annotated programs. It is currently capable of analysis of C (through "Frama-C"), Java (through the included tool "Krakatoa"), and potentially ML programs with some modification into Why's own ML-like language. Furthermore, Why is capable of analysis of any program that is mapped onto its own internal language. It uses a weakest precondition involving calculus to generate potential theorems necessary for the proof of a program's correctness. It translates these theorems into formats that can be used by external proof assistants (without any extra work Coq, PVS, HOL Light, and Mizar are supported - having one is recommended and both Coq and PVS are packaged for Fedora) and automated theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3, CVC3, and Zenon are supported and Alt-Ergo, CVC3, and Zenon are packaged for Fedora) so that these results can be externally proven, resulting in a proof of program correctness. Note: Each user account must be set up by running "why-config" at the command line (to set up a configuration file).
PackageMaintainer	Fedora Project
PackageName	why
PackageRelease	18.fc22
PackageVersion	2.34
SHA-1	6A3D564581E01988B3BA83132A200F27B57666BA
SHA-256	208AD2BA775EFBB5E7ABAFC6526E498E28CD9B481A9DBC53570ACF42B188977B

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