Parents (Total: 11)

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

Key	Value
MD5	69CBBE84CC185A57717B538CB05EA1EE
PackageArch	ppc
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 the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	A0062E3C9D35D1DE6E83B74DC22895BDCDACEAC3
SHA-256	EAF7E4F286C18E1D32F21EFB5F579281D3DCC9F06A9D83575CC345D4191BDCE2

Key	Value
FileSize	5867618
MD5	2301D6FD1045D668D446FAF7D7EB5967
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.2.pl1+dfsg-2
SHA-1	160960C81972C10EC6CDA360A54B2DFC68D58F08
SHA-256	CDCC5224B9405CDB6BA5D333CC5ED93E3A7009BE52F53AE417880E598620820D

Key	Value
FileSize	6671060
MD5	211B93CE6E7A83BBAA8972C24A4059F5
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.2.pl1+dfsg-2
SHA-1	D1E811EBC9F8B81292B4BA653F874411600B4F15
SHA-256	3567D686614FC9EB2C4E4740AEFB341912BC57525938DAD75672217B8653C2EC

Key	Value
FileSize	1941198
MD5	B56512DBB8CDAC4E7FB739672DA1509F
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.2.pl1+dfsg-2
SHA-1	7547E71E5B2EA9611DFB09CDB7606AADCF75BA7B
SHA-256	9EF6EFC9EA810D9CBE7C8EFDEEF40F82498AE2DE8B9D63C2C9F3E7486A08A2D4

Key	Value
MD5	826A03777EAB2EA8A99332FDD6C27198
PackageArch	ppc
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 the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	FED90FCF4D1293004311951663F89D484E2D1DE1
SHA-256	1F706C98FCE44B7F31CB367140D27AAFEF402A061755FB7537F2F348D4C7069C

Key	Value
FileSize	5865284
MD5	115062FEDB328A60A1F7DB7C77C95759
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.2.pl1+dfsg-2
SHA-1	7436557254E3BAB6150410DEB47CBE093534B1FE
SHA-256	1FA7DA7D15CA34BED10B80472C0AF483AE7A634F6FF3938570531E1F0EC257C1

Key	Value
MD5	F28E6361B8135BFCC8DAA694FFD0941E
PackageArch	ppc
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 the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	A83EFCC4D646BEE74C65B73D3237F9087CBF6651
SHA-256	04BFD1FBFD5525D8CEA0ED213E1A1605529FB19FBE456F4D8FA51A2FDC1CB207

Key	Value
FileSize	1953088
MD5	CEA3C4C7CBF0DA7672339CFAFE125D12
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.2.pl1+dfsg-2
SHA-1	AF95B676F209A4D5D3ED9C8A6FDEEEE789D3FD7B
SHA-256	820FF610E32DD72D787FF4C42C617B311A1A7EABD551D33C5AE1101F8BC71A68

Key	Value
FileSize	1956550
MD5	0E9F3867CA0EA9640A4D856DFE413B6B
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.2.pl1+dfsg-3
SHA-1	98EF23B79A7E93D9DF33E251EABD64599A7D5B33
SHA-256	42253C10E5C28C04007326C4AE3ED46FD4B8ED58E8E954A7FFA17AE143E02A9E

Key	Value
FileSize	6978606
MD5	DE30005E700E27701DB353EF252629F7
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.2.pl1+dfsg-2
SHA-1	6063066FB75507E132471D0F5D81A9684695EF26
SHA-256	D432742FE5DA7B42D637B718E4AD940FC7B44FD3D504F7BD075955B61E281FDE

Key	Value
FileSize	6016870
MD5	B11D81804BA0E9B9E1663BAAB0A45BE3
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.2.pl1+dfsg-2
SHA-1	FB8A2C39E98D4C4D2D3482140BED5C369C6DE5E8
SHA-256	3102209295F05A2D312942E36CD1B01C9E6A162299EE6C56B2D734FCAC5178B5