Parents (Total: 7)

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

Key	Value
FileSize	1261696
MD5	A2CAE537909DAE80F8D5A6DC626DF32E
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	1.2.1-6
SHA-1	FF2A572E8F7E7D443BCE16F46CB0232DE7B166C2
SHA-256	28044BBD301842F6899454F9D79FEE3CEAE74E6F998BDA5B9DDBFA3163B57E7E

Key	Value
FileSize	1041196
MD5	42DEB28381BF49CB2642A8CEA29F46D4
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	1.3.3-1build5
SHA-1	5844F83A5DEC815579F5973F1DE8843D062D963D
SHA-256	C79C103D6EB5B6E0B2E66DCE7BB03493FC5AE287BAE11BA275DE0AF1B3FEF8A0

Key	Value
FileSize	1041216
MD5	17D2153F5A3D52A173F2DF9E9D38FC23
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	062F137C7163DF2D37CCF914994FC8E735E0C302
SHA-256	D453AD03DAF4069902CFA3C03AEFB70E69CA044F2BC1D0881AA62F9C5DCE5923

Key	Value
FileSize	1241428
MD5	09317855EE29ED27016F8C4297C793E1
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	0.88.3-1ubuntu4
SHA-1	957E810648B1B8EC358843537E87D94BD8349BBF
SHA-256	C49647297E88A834AE3FF522175586A80BEF051FA5A5B1EFB512E78C7ED97DA6

Key	Value
FileSize	1228976
MD5	460FBF6C978726519D36B95F4B17F5A4
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	0.87.3-2
SHA-1	6907223E66B4F32F2E899BAB904B3B5FE82E96FD
SHA-256	89775867E28DFEE739409B3D45561326DBD4FCB29FEF5A4B36D730CC7C58B89F

Key	Value
FileSize	1273924
MD5	8B872228A0F0254FCB1407EFF312F443
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	1.2.0-1
SHA-1	9AB6D6C73ED688B599AB132604A9330F842839EC
SHA-256	2CD00257373413E96E8B9E4DF4294B68543EE1E52B283C986E3CFF31EEAB2DCE

Key	Value
FileSize	1056980
MD5	2B4F48284A63D2E1F0DBAF2E292C624D
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	1.3.3-1
SHA-1	DD1818E242E89DC8757CA8B3192E2CE3F0759FA8
SHA-256	CC86BF3271C824FDEDC75F1723F32DB3CAC978765DB137B3988CA5BC2D97C547