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	96A26BC6D701C56461D84CF5252D0F1B
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	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	2BB756EC117F57495F536462FEC6C7D46FE5CD5A
SHA-256	D22B36F9307C03C401C530244D3115399BF4703DE2E27E1EF57169954AB7591C

Key	Value
MD5	5F2922243E0E3253736EC31A006E2389
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	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	FF9F30FAFC520063C405B90A1F507D9A87237304
SHA-256	80652058A5C5745F4AB314AD16C5DEF79248FB5818133A8F237705945F8A38EC