Parents (Total: 10)

The searched file hash is included in 10 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	B8BF70F25097EEBCA7BD94B898D7469A
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.fc32
PackageVersion	1.3.1
SHA-1	96CE07E76ECAFBDAAC4ADEB7CDF320D32A57D012
SHA-256	A09D7E9F43B1F5076DD7E0736F93153A8DD3997BAD812D1C67A85C3CCDD41101

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	C1B3DD078411CB8AAAA4F773500A8D8D
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.fc32
PackageVersion	1.3.1
SHA-1	94681FA2E789ED280278FE3E7D8A6F100DC0CB35
SHA-256	CC246B9D08A644734F1B9D2501E76B72FF63DC5D1442B1321E3E81F9B1F3D3D6

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

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

Key	Value
FileSize	960332
MD5	AC42C49C20DE29DDF503B7933CA8B877
PackageDescription	HTML Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in HTML format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-doc-html
PackageSection	math
PackageVersion	1.3.3-1
SHA-1	BF53E9F9B143E71B572EC33A0F1E27385F1CC2AC
SHA-256	44082E8294CDAE4A6D86721CAA7F1C21A7957F37FD84D0E8196A61644E46D502