Parents (Total: 111)

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

Key	Value
FileSize	19119940
MD5	3F2C25CC3221D769238749BBFF24BA83
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.6-4
SHA-1	001F74DF4C31B167AEEF5CDFD54915BA365F7D8D
SHA-256	E7F1D163E59E66DFB984538058134EE90E8C3915B7530FC6BA87627731E53CEE

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	18928658
MD5	9697C5D76E4A750B946F24CC959AEBA1
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.6-4
SHA-1	033498804B6726CFCEB02CCFD80AF699640BD9A6
SHA-256	7F14451683027E3F19B2BDBFB658D3EEA27C8A731BA82B84962E911A663E2215

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	19119318
MD5	99A998E867FD2733C8C1405FC7A90C8F
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.6-4
SHA-1	0BBC81031C694F528626A6F39B3789E45E3E705F
SHA-256	311E5D3EC72C02320652F4B0040BE90E89A7D2FBD9868D81F7841151FAD1D505

Key	Value
FileSize	13509668
MD5	B474361DEADB0A88CEF5109E9F3A1A81
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	12653CFEF8153C3C52AB480D0351140E017FEFF7
SHA-256	012BDB009555BE3EC78840F637298ED9C2043B812555F0C4FD2D0F8B2A92B117

Key	Value
FileSize	83882096
MD5	3A3710796C6AA8A5FC3B22A2BB878798
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.11.0-1+b1
SHA-1	12A3006AEEB4631F2D305548FFFF43BD7752DC1E
SHA-256	D3589DAEEECADF0CEE0C55C9B1EFE0F4BEC029F73B28EC573A2490563E0D10B2

Key	Value
FileSize	13953402
MD5	9FDBA45EF4DFDCB30016DA5EFA3EC7FA
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.6-4
SHA-1	1575F63338A2F94AAE409DD733C7E419FAB18D58
SHA-256	7578534F25DAECF0A9F88855E5B99E4D64015DFEECE0F16DD7A47F2E7BA33B35

Key	Value
FileSize	13839012
MD5	077D964A84BC9AFBEE44003643CC711E
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.6-4
SHA-1	1840DABDC63AEFB3AEBD24F4D9FAA8E013F9CC3D
SHA-256	F9E3CF1BE35D197B0D79D76709AAABD7335CA5B05F9CCBE9BC4302B9ECBF49A8