Parents (Total: 6)

The searched file hash is included in 6 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	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	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	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