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	13008002
MD5	639D3590241C58495A3A072318FED8B4
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.5-2build1
SHA-1	43F135ADE232A782506EDDD70582778A57BFA929
SHA-256	20448B66879EBAFC5C2779F60FE3895C5B9EC8ABECAE2147AC5CAB23262AAEF9

Key	Value
FileSize	13320164
MD5	F4927150FE35E834E7EC9C29A8B158D6
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.5-2build1
SHA-1	F88529ACB2CF94F598589AD79A6D83650737E558
SHA-256	68D708700993B156B0A790404A2B8EB2E277CC245A84411B4DFE448FE4B37898

Key	Value
FileSize	9926918
MD5	0BF443291DB29B000081D84499CA9D46
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.5-2build1
SHA-1	09DB280E7D0C763A4F20856C847542946B04F66C
SHA-256	A71C18AF2267D33C8FF3CB160595735F9E1DB69C8CF4C26F65286B7C197ADC3C

Key	Value
FileSize	13307820
MD5	FB04AC489A3912B7BD41857863A060CC
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.5-2build1
SHA-1	0F3B75B268D6A8EEF24F521DDA1E8E8FB5D41F5B
SHA-256	4390DEE95AD722CCF6D56EA7FEA772435253008AE2D6DFD5767A04B397079F51

Key	Value
FileSize	13532328
MD5	379B3B9942BD82B552F806C7A18C8926
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.5-2build1
SHA-1	E17203FC6A7914301D303E5D2589AAC6AF9B14C1
SHA-256	7868CD01B50DF2731BFFF7E61BAE2941A769D03BCCD0BE9D46FD7B4C2C9210F1

Key	Value
FileSize	9925570
MD5	42EBFFAB84B9F5D25B6A3069964CA93C
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.5-2build1
SHA-1	FCCD0B0D2647EB4ED6802D6B24E5F61DF26DFB9A
SHA-256	42D5146CD1637EBB486A4A46AC5C5834E19EC534545D74BC094BF4DC650B60BD

Key	Value
FileSize	13766780
MD5	3D9A51726EEA0E49EBFB07A8E231047E
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.5-2build1
SHA-1	E35243AA339D40B4D82B35DE7EE0711B86723099
SHA-256	DE98A09024F1691945D543C5EB202DC8CA784786281471C3A0EE11A48D97A78C