Parents (Total: 5)

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

Key	Value
MD5	7FD22268296354EABC55904D480ACB9A
PackageArch	armv7hl
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	419812E6D887F8D259DC535AA653B825DAF1649A
SHA-256	9C597AE0B6A3DE4BDD79D6364746301C912502AE2FBEC8EF1D7CC8D4A34DCDAB

Key	Value
MD5	A28C46B388835561F6AC2A12C6D8DD87
PackageArch	armv7hl
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	7.fc34
PackageVersion	1.3.3
SHA-1	7BF1745B5100654F244F7F9DBC8591218D8C2ED0
SHA-256	78844F53F60733893F30E84295D241FDD8741F3A1F0DDAC2BBC502D7709B13DA

Key	Value
MD5	53C5D2DE492818851B465C903F0DB027
PackageArch	i586
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	230A0D721B26F079950B229805CC8809EC053C02
SHA-256	C6888BB98569B6C038DAD457889780E1A33F20C07D266E30D3173604052CC211

Key	Value
MD5	FB12B0D25352051C4938E4F274455102
PackageArch	armv7hl
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	1.fc33
PackageVersion	1.3.3
SHA-1	13B9F520B7E2853CF71036EA070F89748CEEAD8A
SHA-256	152F2439E7167A7260E42CB52A2B76DBB66F6AF26F869E75A860BFB89A7D34FF

Key	Value
MD5	FFC8955EFA91600BAA574C76B97DE097
PackageArch	armv7hl
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	1.fc32
PackageVersion	1.3.1
SHA-1	BF35311963296809C51EB220B5E3BDC1F71CAF85
SHA-256	DB91BEB5178A05E95F2FEF7818767860490E329BAE1FEC9BF4514422A6969265