Parents (Total: 6)

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

Key	Value
FileSize	3493616
MD5	9EB8848CECEE897286D677B088B7AAFA
PackageDescription	Examples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-examples
PackageSection	math
PackageVersion	1.3.3-1
SHA-1	DAB3E1C2839B0820E45DB20D140A7C6D7F376E18
SHA-256	0F35AA2AF55E7E6D8C0532CE9AFCBFE83E13ADA18C5A711E56A4313B461A476F

Key	Value
FileSize	3477352
MD5	D3ED7D2C7C411CFF78FC53706E2F6F4E
PackageDescription	Examples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-examples
PackageSection	math
PackageVersion	1.3.3-1build5
SHA-1	A80D18BF055B2774EEF9CBF1471C4DEA17B4CF00
SHA-256	93F05C8061561CE5F11CF415579AAAA7FF0B90B11E4107AF7E7BAB4B4FAC80E4

Key	Value
FileSize	3477596
MD5	C6FAAE3CCA8F5049BBA2D7A91A187F9A
PackageDescription	Examples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-examples
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	08B584769D2014E3B6101EC80FEE6413846056DD
SHA-256	E16FA216CA1DF1E16EA77F47813F7A4E9FBFAADE5928BE52FB2342644854180A

Key	Value
MD5	7BA319BF08DD7D718298591ABF9D3611
PackageArch	noarch
PackageDescription	Example source code with why3 annotations.
PackageMaintainer	Fedora Project
PackageName	why3-examples
PackageRelease	1.fc32
PackageVersion	1.3.1
SHA-1	2F218C38D46C075E53DD349A1AA5D7D500AD0763
SHA-256	E9EB1B86E71F10873E379EDAE4D6CD9DFA376299D16B9E153025AEF500A447B8

Key	Value
MD5	39F566E1439FF4975489C6526256D884
PackageArch	noarch
PackageDescription	Example source code with why3 annotations.
PackageMaintainer	Fedora Project
PackageName	why3-examples
PackageRelease	7.fc34
PackageVersion	1.3.3
SHA-1	6B7FBF4AC8B58E1E7261701053E7D536145786B8
SHA-256	E2FC46EDD4A1BB8253B3ECA8260E345DF48B88727F56255A414E8B12B2D141F9

Key	Value
MD5	B8AA714A53BFC3576C1E46264928A059
PackageArch	noarch
PackageDescription	Example source code with why3 annotations.
PackageMaintainer	Fedora Project
PackageName	why3-examples
PackageRelease	1.fc33
PackageVersion	1.3.3
SHA-1	DB6401A6EE53FBDB5C9D5C21178F117E6C61C499
SHA-256	B4C62AAB5BDD2B4293E02CF0458A1D390E41AA60192EE99703F2176BE6D0DF65