Parents (Total: 5)

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

Key	Value
FileSize	3773636
MD5	CB1738D39E6F7E22FCF015ECF8B953AF
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	9B913623AF00BB7EC015C091EF39B83A722BA9A4
SHA-256	7E11543AF089CD4B7477ED968E16C9E75ED568BF7A8DA7CAF795FDDE35B32034

Key	Value
FileSize	4119678
MD5	DCDDAFBE1E8DBACA51472EBEE069C8AA
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	5EEF94038223F715A921B97D4E30BDDC3CF8C403
SHA-256	094DE57541732D1F8A16BFBD4F351336BEE9AEA68EF8A5F35CC32F63E4936659

Key	Value
FileSize	3708326
MD5	C02BE774E44BB739B17A333DFCBC0C0E
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	7AC6BE5253D35550CC121AFB338E478CB9AE89D1
SHA-256	DDD92C407C8012DAE7CF1ABF17BB6786FB1712A257D3DF4BCF88ABDACE4C3DF3

Key	Value
FileSize	3987246
MD5	8690291D09A0A00B2507D0D967902A4F
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	9FCE96A51F9B812015769D15F7D57246CBECD186
SHA-256	278F08683275D4B90AADDFBC3B7062D0CF3A0EB734AB8D4B9B2FE83FD94FCC3A

Key	Value
FileSize	4016816
MD5	59001170D4B8D5DE9F6AC8E13AB5E6E2
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	EFD8A9B039E3906ACAC47A7D774E011C0A616D68
SHA-256	95F6CF4C8C2EF103641F78B949DDCFFA771FF2A3D10DEABACAE45A9047B6F257