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	7FD22268296354EABC55904D480ACB9A
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	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	419812E6D887F8D259DC535AA653B825DAF1649A
SHA-256	9C597AE0B6A3DE4BDD79D6364746301C912502AE2FBEC8EF1D7CC8D4A34DCDAB

Key	Value
MD5	53C5D2DE492818851B465C903F0DB027
PackageArch	i586
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	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	230A0D721B26F079950B229805CC8809EC053C02
SHA-256	C6888BB98569B6C038DAD457889780E1A33F20C07D266E30D3173604052CC211