Parents (Total: 14)

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

Key	Value
FileSize	74729560
MD5	90C7E191691E832CCB0202C08BAE9C8F
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	BA68905C56FD38904094E97A3611978A03F65B22
SHA-256	1D37015042D0740E4D5E785F77DFE0B0434D3788D75E8742C89206C8148703E7

Key	Value
FileSize	79087992
MD5	4E6F9CBC6C114F09435E834B6927D5DE
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	EB9AE402F7848E98F6067B6FD87A258A8FA5BD19
SHA-256	941CEEEDA7A905B487261B2D6202C496B3FDA199703F86B37176DAFE0A855794

Key	Value
FileSize	76035588
MD5	098FAB6B0F7F730B3495FF67EC075552
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	2FEEE65945B17C3EEF6F13B4D830FBE2E7BB0549
SHA-256	12B6D41266564BA741D8660B1DB05877ED37B4E7050C65C3E2B2A22AF1DA3EC8

Key	Value
FileSize	89873072
MD5	4884D5C2072E1F258CB4FF06F9602F0A
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+b1
SHA-1	E50FC23B5A7EE25A645B805B8BF2A9F199AEDDF5
SHA-256	42F1889BE811E4DAD1C425052FE06D7EF61AC6CF7E1D5BAE2ABA191539479B14

Key	Value
FileSize	87492532
MD5	1CC75A3C2ABE0B8720A6738D756EE28C
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+b1
SHA-1	648D483027FB70BA62DA3B7ABF097B0985CA53AB
SHA-256	3BF5CFA048E292C3A2FE297E3180370DAA5DE038ECB67E44E8FA96DE02AB8A6A

Key	Value
FileSize	102176644
MD5	7D69A37C3355D13EA0D53EA263799C38
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+b1
SHA-1	D7C12989698332D1B3B3B4F2580E277A97D5346A
SHA-256	CA3ECD5010671317B1D1801DB4C432E19759118C3CFB4D72B8510797CD8DC8E1

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	102168100
MD5	7BD58BBADF836A609489B2B32E266903
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	B7C76F613EEF1B02AE32BB50FD27B594930CA6D2
SHA-256	BC0459563878DD36E50A432D9996C7E0EE6018C49F62880CCDC319F78317716F

Key	Value
FileSize	93196408
MD5	A6E71C7689499DF87E5670E7522EB010
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+b1
SHA-1	B8B43B75F09FBA01F4469BEC779C755D3E70D7E1
SHA-256	80DD87CC070618B8C03DCBEB4A99D57FC6744FC0439CA6978918C658ACD7B91E

Key	Value
FileSize	87517396
MD5	2C116D0EEA5BE21E91FFBD4FA74D2424
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	55FDE2642E9B6DF25BF381C30D22B04880F0F765
SHA-256	B35FC09DB0E02F826E83A0665A0883A51B56D8FE1AB1AC4631960A4123AEFCC2

Key	Value
FileSize	89867592
MD5	5C98C0DA812F0C08495E37B6E1F672E0
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	A2BE473D3126983330C200CDDACD09071B6664A9
SHA-256	4C191EE9135F30327F6FA961A7D93B83310F1F254B06227B26E13CF4344A1DD6

Key	Value
FileSize	78300916
MD5	CC25843B70576098D907545EFA2F0123
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	FDA2DDAC0CCE7FEB52B6FE308966BDD121428302
SHA-256	AF64D068502DE03F48F3102E935B8F56050BD87917DDAD79100F5898D490696D

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	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