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
FileSize	3215788
MD5	B3BADE372A9799E25DD2AD90136C5159
PackageDescription	Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL).
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why
PackageSection	math
PackageVersion	2.39-2build1
SHA-1	28E0B2AD62559BC81E35CF3417F2FEC5201EB260
SHA-256	F9B3651E20673ED86867FB046F4AE4D14094681A1A0ACE3817E2FD28D298764C

Key	Value
FileSize	3472352
MD5	8D1DECD88CDC31898DDB88269EA5761E
PackageDescription	Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL).
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why
PackageSection	math
PackageVersion	2.39-2build1
SHA-1	702EDBE4D50D30067A0C410192A24FB9B46E7585
SHA-256	EC26D479AABA0D669721FDD9EB4455761D0A254E4F85090BDB52D44FFA406F18