Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

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