Parents (Total: 3)

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

Key	Value
FileSize	687208
MD5	DD574A5B1C3794835AA9806890EF09CE
PackageDescription	HTML Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in HTML format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-html
PackageSection	math
PackageVersion	1.3.3-1build5
SHA-1	13671A2A8117E47EC3455E9AD8429AE1B3364FFF
SHA-256	3F15DDB0EF5646A3E66FB73A6B41F333B5D77AB42CED904B6AF51CD7061B4395

Key	Value
FileSize	687448
MD5	5D72479364480D75B94D9F540E589125
PackageDescription	HTML Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in HTML format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-html
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	5748C84BB29DAEE7DDA1853ABE359EE0F63D5D23
SHA-256	596437D7741A9C2AE5BFA3A28173E081CEE38D5F3B80599BCC534EDB59BDA527

Key	Value
FileSize	296720
MD5	90AE099315D8D8E404D5EF19182771E0
PackageDescription	HTML Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in HTML format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-html
PackageSection	math
PackageVersion	1.2.1-6
SHA-1	202F5F7F94AC1B1D76823AF67E8DC8F7714952B4
SHA-256	46404137E01B74EF455C883E966E4B0A839C50194BCE39A8B38D3644FF36D196