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	5060896
MD5	5422F41057E31EDAA4BE694559654D68
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	F9304247EA2F1A9E35D56A23132A5A5D856F815B
SHA-256	A9001180FCF89513815E714BCB63EEB7C13E225B100EF4C887590FABDD1006EC

Key	Value
FileSize	5059614
MD5	CB4799AA2C4F0137D1A0695C2D7DB808
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	D4638C1CA68B9B0D7DF6E3CFF1B7085547888747
SHA-256	D0212F8FCF6AF7E5190C212531AC612E8624FD91F74CB4796AFF8A835865D135

Key	Value
FileSize	5058924
MD5	AC334730A4EAE5CBFB945CCEA1C6D43B
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	0CADCD48A27EAA4373E8DE8BA01F847E2832E85B
SHA-256	7012F0C9C2FC6F02B8F0DD0714896AF12C4807C43742A6C08692ACCA741D48FE