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	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	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