Parents (Total: 41)

The searched file hash is included in 41 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	76902004
MD5	EBCDB8D76526527080DF3EB83DCC9A6C
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	06E110DF706FCF6B666B8B1D330A19F45BB7AC60
SHA-256	17AB2D46916A747521CB7B31ABDD1D916F6F4A68C6BCE45DA87F1E2E2AFBCC6E

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	60508948
MD5	7D7520927CD14D03757F92CCA5AF2CAF
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-1
SHA-1	18A2D17787464E555ACCA9A307A5598F173C03F4
SHA-256	A1FC7E5B826530981BF193321AE1A662BE658F308A929C9994204FC5337417E0

Key	Value
FileSize	56309576
MD5	7FC356190F14CB84A039F99B52759DE1
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-1
SHA-1	21D5F4052CC7F36834C4BE03CF757D62BEC4212F
SHA-256	859A70057B39055DCF34EB482E8FE9DAC2FCC44B21F7019EF7A49CBC2DD91CCF

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

Key	Value
FileSize	63336728
MD5	83D6589E1C964FB8AC4D114C57FD37CE
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	360468589E7867B119232919D41DE334B0C3B39D
SHA-256	DEBC3A13D033070253582F96A3456C5523AD00C6411A60D64E96EFF55A063562

Key	Value
FileSize	50047348
MD5	855A34F7D63FA7082840FD3782083650
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	4946C2BDC28A675E07B231B796D9971C90F732D1
SHA-256	DB0B3D37FFDE7FFC597BF333680C0C4CE69CE64EB26095AAAFA0AEEDF3F78EF9

Key	Value
FileSize	59085596
MD5	20D8D7326261F8022D8711B8D9BF6462
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-1
SHA-1	58BFF8D5D184D857A63C989983EEF8776838D182
SHA-256	B1F1FB841AEB6EA7FEFC7E34B0A127866328D1D10046C03B381774828FEA156A

Key	Value
FileSize	68443024
MD5	B171705A119206EC3894BC9484135EDA
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	60404B508CD311195BB1EF173D7A6B8C6A125E9F
SHA-256	F0726E41C76627D5ADC8D106521F6695C7A26EA4872E9D733226560981C02FE3