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
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	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	C2972977AFF795F2E2B4D70CADC94608
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	1.fc33
PackageVersion	1.3.3
SHA-1	3783208D591F01FA201D8A9FD1AA15C76A6E32BB
SHA-256	A62F7E4634CF0736D3A8701249DB26786CAF3436AA3290D69BABD481808D2EC5

Key	Value
MD5	C724DAECA4595FDA8D786899B1EBA833
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	1.fc33
PackageVersion	1.3.3
SHA-1	7D95BAD99DC661A3B052E142D3F032A4070DFBD1
SHA-256	943E612031D678016F3777DD6D76AC1EFCC3E09E119DFE9EF42D34F3CF0E2AEC

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

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