Parents (Total: 80)

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

Key	Value
FileSize	56236628
MD5	4F6CC06729B2A25303B070BF29A9EA42
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.0-1+b2
SHA-1	014EF38DF8E51E52087CA063B37535CD31B14E90
SHA-256	1AC91AF86C77DECFDC6D5DB8FB9E21DE526D55C32A4113BDD5C830BEC29A05E6

Key	Value
FileSize	5384100
MD5	0CE8893F9B9D18D0C0A29AC39806DB82
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-ocaml
PackageSection	ocaml
PackageVersion	8.9.0-1
SHA-1	0479F59C51C4DA254F1382C243111F3AA30B8B0D
SHA-256	F7F1CF1E0B6316E52B8A8B6D0B6974FF19D01389D6710821474A79FA9850F8FB

Key	Value
FileSize	28414968
MD5	5D2F99C9A1C320CBB39B206502DDF571
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.0-1
SHA-1	052878D62B817D6869CA5BEAEF1CC18700C5C0F8
SHA-256	33C1DE3162ED4EA340C725F1261B317BCFEAFEDC4C71991C16CE0A30BEBEE81A

Key	Value
FileSize	56215368
MD5	8F267250784D4BB8021BA056B9C5C308
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.0-1+b1
SHA-1	089B9B723199EA746B434D590D7D11364C77D048
SHA-256	206F6F79CA478064B90ECEEBBB7F017376DEF156409F59B40A3FA2501471F1E2

Key	Value
FileSize	29724356
MD5	8DD74A0636D8245701B2D1D9980B6AC2
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.0-1+b2
SHA-1	0BF213C70AF3FA97158FEB7C379E4A69F0C19512
SHA-256	21B8604B94A5F3981AB97BDBEB01E8C346EE115B7F4D41716BFE48BBD084BE94

Key	Value
FileSize	5186088
MD5	65724817DDFA5FF3E3AA447DF1E4785F
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-ocaml
PackageSection	ocaml
PackageVersion	8.9.0-1
SHA-1	13E18624F7A01F81106F0244A4AC00A15E7B6B08
SHA-256	2438CBE8592BB36D426FB47BF50E114675E5D9E7F5E48121B2602A750AC25B69

Key	Value
FileSize	20367676
MD5	2B81F38F8AE6D92E41A10E6F7BCFF56F
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.0-1
SHA-1	1A3EFE87BB31376E598B8E382762142AB9FEE451
SHA-256	9745D456A43965126CF355AF106189C753B88F8AB9E62F57678CF2269E6036BF

Key	Value
FileSize	29732148
MD5	4ABDE5225D5B4010EE08FCA3F68FC120
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.0-1+b1
SHA-1	1BB48EC1A8C90EC3396F7DA728C9252A505AA02F
SHA-256	4BF474EB10E2CDA42DAD36E895910A1BA7A8630CA432EF733A33D16CE1AC6279

Key	Value
FileSize	5870036
MD5	D91E4179A90D2641D14049DC90DA34A2
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-ocaml
PackageSection	ocaml
PackageVersion	8.9.0-1+b2
SHA-1	1FAFC5F7A494BAF5D92926A4D23A81BE37B7F7EE
SHA-256	EE03694F3217271FAF6AA8A0FFF5C70C210D2A399A4011588A3B2F74305D3C36

Key	Value
FileSize	50036884
MD5	EE6AB54FF3ACB3AC6C19EA8E42070E16
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.0-1+b2
SHA-1	2531A9BFAD36EC06952FA55CA53467C485BEBE06
SHA-256	F0AB3FF9905D757EEFCB8B2B35988FFEFBE7BE1882D2F22F79B56D37625DB645