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	50AE0EE4BB783046F17F7410F669AEBA
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	2.fc23
PackageVersion	0.86.1
SHA-1	0AFB8F747A294F2725F8A1F294981729473F904C
SHA-256	CEC5E313EF91CDA3EB8A0F17C54560F438722A5133A73FAC4D6AE5707C16D824

Key	Value
MD5	8CFFE916572375A7D828AEEFA25B2E15
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	9.fc22
PackageVersion	0.85
SHA-1	4D630674088011C5C75CD76B5B74CB584BD14E2B
SHA-256	84271262091A2189F245F36DCE3FBC25292E0218978A198EBA188F77340C77D6