Parents (Total: 78)

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

Key	Value
FileSize	85527064
MD5	0C598658CAB594608BC2632FE864918F
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.14.0+dfsg-6
SHA-1	0142F562DB064F136AD2D78ECBE973D2882D40C0
SHA-256	C594C99C5D4B2F1519E50F8AD9B076BE1C7BF59E71DA22B79205FB6281940D77

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	93212572
MD5	F6794ACA0A7A2EEA78DDBB0F0BEE49B6
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.16.1+dfsg-1+b2
SHA-1	0FBFE2E8CC06FEEF4C1313DFD601385645EE2A27
SHA-256	6496DB435F9585E1F1527D9418070F15977B049C01C37C9BD33F7CC4152F8677

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	78456212
MD5	162CA15E163087832C4735ECB6D4CB76
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.14.0+dfsg-6
SHA-1	14242DE44D800FCA990368C2A367E60EAF6D2553
SHA-256	0F6B3AF9AB6B8D6482F576BEB3100B9A889B3B85B6B588C22E4B77913EC0F458

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