Parents (Total: 24)

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

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	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	6179196
MD5	43F2D206237BAD20E1DBABC09EC3C1D7
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	3FB9B567B0AC11FCE121518A7234AFB9F6F74CFB
SHA-256	0CD98645D809DF29CF784EA146884C0A80EA8A6D2A281A66F5758C4F0532D878

Key	Value
FileSize	7049736
MD5	3526A3F396D68891CA0D9371D25BEBB7
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	41D37C1165DCB76796DC181BDA5993F80AB976E9
SHA-256	ED643D5D9A196E5EE9A085D5812FB35EB2605B96A1B663C9B3D346276827F5F5

Key	Value
FileSize	3680374
MD5	3AAAE2CF0995C8C38394FCCB50E5C7D4
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	46AE46AB59FF4C4AE4DB3379740DD9BF138C4EEC
SHA-256	F074F3B21AF15739BC3D26FCFA5F50B033720C5125B702E47F2F00F3C37AF53B

Key	Value
FileSize	7113262
MD5	4E2DA02A5C2524EE2260CAF41B6861C9
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	543300899455516E508FEDE77299B6B06DAB5D65
SHA-256	E09109D4E0E136EE9D532C2A164B9A9FBF96C2A1F165CFBED82190C9C125489C

Key	Value
FileSize	3962968
MD5	57C296B2C7DD5B1FAD1DEDED75ACE4A4
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	6B0CC437202C73E99246957B9615041A07B0D579
SHA-256	D4DA8BE58EF510C58DACCC677424A14AE99DFF9FDD3916D24271BD4F9037DEE5

Key	Value
FileSize	3662814
MD5	65314B144C88D275AC9A701FF5AD1C59
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.0pl3-2
SHA-1	6EFA37D9C87C4446B0B73E8C44077F0916785CD9
SHA-256	2075DF912239321DFA3ACF22C43E77A27A29E444266CE40DB3565543AFAFB1EF

Key	Value
FileSize	3896000
MD5	FA4F6C4F1CD70437049E1E86B3A8EE35
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.0pl3-2
SHA-1	743B7B6DE8DCD6B5F68638AB9D679BBF3A78D174
SHA-256	B80043319120035B368368A8CA3D44541EA8D64AAF5DE0A48B9A286F9ACDB096

Key	Value
FileSize	1397762
MD5	69283BC2DFA56B377DDD65DCB5DA66A6
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.0pl3-2
SHA-1	77C78738BC1619B3F5774EF4C4170925AC3B9F6F
SHA-256	A1461FE60200CB0166B5D48937EB78C7C57520AAB49B6E83FAEDBC66A0818D95