Parents (Total: 50)

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

Key	Value
FileSize	6538978
MD5	5701BC7C2792FA78C8F366202F4C497D
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	004A1BB7212FE2C38DB23F1583E4127F92919902
SHA-256	0F324287ACCC0BFB8AEB2C2CCEC585A84180118C913D24D865CAC452E36CA729

Key	Value
FileSize	6936722
MD5	EAE1BA313B7FCFEB1157B1EC8573B177
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	0247EDC078D61092F55C92E427F899967BE065AC
SHA-256	D3ECB74D0FDA7F339F82E2397B02AF82F259D5AF9B761302C0A63DBB5F1CAF40

Key	Value
FileSize	3142848
MD5	0018994D801A8CB5A0B9F4680FD4DB55
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	0384435D4C05D512C75EF329B9EFB94CCD7DCB54
SHA-256	985FDB6BF02C3A44E115B47914DDCF406F75FA223251742AA86A9935F3237AF8

Key	Value
FileSize	3812570
MD5	9CBD9B74A04C1D922260E496C65505CF
PackageDescription	proof assistant for higher-order logic (Coq 7 theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq7-libs
PackageSection	math
PackageVersion	8.0pl3-2
SHA-1	0BCC98A3BE6D4E11D9AC40365C51419143058D0F
SHA-256	D6E2602A7FEE969BADE59546CB090D5F1B9A84CF5E5CF54472A4B7B38408014E

Key	Value
FileSize	4275330
MD5	5D90DA02C17821675C8A72386995903C
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	0C55D2F4BCFC4265D27CD77CE56E7D5F410F9179
SHA-256	00C3C70308B5955A97C5B34C7AAEB2F4015DE9EECD96426D754D68A951376C2C

Key	Value
FileSize	4518700
MD5	4FB3A0ED9346CDAEBF5AC712DE502E32
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	14B1D4FEED3A6E81F8B9EDA308904A6D3820D3FE
SHA-256	6C5DF572A8613959C9C67FCFE683FF51D3388DDDC02C1FAF7BB0793837071572

Key	Value
FileSize	6954142
MD5	CA62CF9AE9DB1BAA26027D213D39A84E
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl3-2
SHA-1	179EB54248904E13D0E51A7010207611FB331E34
SHA-256	2726CF7289483037F9E56DCA795A0FFA29568318CB042F4FAFFCA7865CE98C2D

Key	Value
FileSize	4689476
MD5	193F96C8B3355FA913F5C7824B7F6AD3
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	18CB7476B66BDA46CE5DBE999A791E7B1717542E
SHA-256	90E29DB1BA9A38C032C92B61F93FD731F93BA69B23E9B9B6C8FEBD0B812BAA6B

Key	Value
FileSize	4155076
MD5	10BBAB9FC701F571E19DE58C465D899D
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	24DC2DBCBD57B5051728680403A77A4E51657EC8
SHA-256	25FB26402BFEBA132AB903562D185BF5A7AE6B5CB81E33412EB5208103804F1A

Key	Value
FileSize	4379996
MD5	ECFAB12AE5A085BA9662F6D086D0D945
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	29D8225898A757BA58BA4EC8A02A5DDC9AC422E3
SHA-256	6AF2D74BEDC5A2058AA7A03553C159EAE401728037901C625824F02CEE6B6617