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
MD5	62F4043E013545A3A594DCBE55839F04
PackageArch	aarch64
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	D5D1D2FD24E3513A1D3C35DDDE5A7D11BBEA35FA
SHA-256	8E4F6061615834719E949C56605466067446FAAB31DFC70ACDDE970126C231F4

Key	Value
MD5	45A486D6C678D48E770B6A9339C42504
PackageArch	x86_64
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	02474BB213FA1101885E279CD888655711874965
SHA-256	A7CB11DE26800E3ACA74DBB37BA122857265BAA0F366288991D1FC8DD65F2E7F