Parents (Total: 8)

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

Key	Value
FileSize	22554056
MD5	F5A7A3EC9D47AB91B684A18FC0F0178C
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	FC0F78E4035DF23681BD8A31AE972CB145B0E1DB
SHA-256	AFA3418E3C583AE675ABF464A55E0D327E8F38F931AD4CF1B8BAD0DE43216938

Key	Value
FileSize	21747176
MD5	B2D687F9D53CFFDD817274BFF2DA7EF1
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0D5C8726B0D354750C5C589F756FC2C7895C5412
SHA-256	C8A339C8B5FBD78121E165D092B0DD82D657C3AB246D88956EE4F62972434968

Key	Value
FileSize	21747084
MD5	6E600ABBD7CFA48078A4B1F3B4FAF1E7
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	E4FC0BB3A71A08EEB2D358C0BCAA79F33BCE11AD
SHA-256	14C0D5F11F976DC3E68CF6AAAFB0590F126722FC04487F3F415A8CB1FED76543

Key	Value
FileSize	22260048
MD5	53FB008FC6F7B243F6AE685EA3CFEC73
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	AB9FAFF0779769CBD7FB54C04D8D91FE439F91FD
SHA-256	26AF85B8D15D6E820164E09EF5DBF9D17F44BFF71AE8193C3BDB5CD70FEF4621

Key	Value
FileSize	23093908
MD5	7D820A11A2ADD8A781722F6DBAD1E69E
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	4D74F4CF99AB427203B8B37B9F4ABA8BAFD3DFDB
SHA-256	75559F02BF968476CFD9C144CC80372E7F4F6892D5FFBB303C00F47437CE1D61

Key	Value
FileSize	23093000
MD5	91C13092CB01CCAF067BFB468557D728
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	01E8792CC3DD055C15668BBD4FD68F016312C67B
SHA-256	14703B9445939F167FAF09D0B81169565A7532421AAAE0F00D621CFEE3A7951E

Key	Value
FileSize	22556068
MD5	FBFE217BA4C5885CF4E781483300D541
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0B79DA6A7618C5F40221CE742C10EA2F962F735D
SHA-256	C796433DBEBC58BAB6C26D33DEBA19E8EFDFC32FCC4D69332CA90774966210E3

Key	Value
FileSize	22259280
MD5	6E5F5F1A769525120227E5136D69EFFE
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	64A18750D182CDA9105F94E214AE4F9A485F9456
SHA-256	5D28885232214A570C5CE83630331A225A25E7F682D941C02EFE88C628EADBD2