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	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
MD5	EE956032152BD881FA5956F24553A8B4
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	AAE827D532798FCA3D343C9E4B39F6967C7912A3
SHA-256	352526E347CEDF1E6230F8EB7CE2F2AC7FE2267B82B058726B71CA0A1430C64E

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