Parents (Total: 18)

The searched file hash is included in 18 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	1758188
MD5	00E9C7497AC3B6EACC1600ABACF3AD5C
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 Camlp5. . 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.14.0+dfsg-6
SHA-1	052A891D19ACBAB71791C8CFDDA71B8EC2553EBE
SHA-256	41A8D833C02E570A82EB682C88F2EC124B12A50D05C442C193B63F10F6DD49D2

Key	Value
FileSize	21750252
MD5	43C31B298CFD33546A52FC4FDBDB2200
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	07800863F0A27FF15C21C6D7112CF3369A41E5B3
SHA-256	56E7FC31F6828A5C368D878AA9B89A9E2A0D8753041DFF46C53585614153205E

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	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	2199796
MD5	94FBC3E75F34DA718340E2D685D69E1A
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 Camlp5. . 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.14.0+dfsg-6
SHA-1	514AA43758647BAED5F0400ED8A8B990926BDCE2
SHA-256	FFCE1357FD7F08893216AB30D2C65F4DCCA93D157BF37ECA904420E6EFA0AB30

Key	Value
FileSize	1744380
MD5	F27219E51C11451BCC5E0E9CD684DB63
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 Camlp5. . 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.14.0+dfsg-6
SHA-1	5D3D49202ADA445DF1C6B63952625C8D33C00577
SHA-256	D71C6C785D1060EC82F1BD8F07843E0FAFB6F561DA3852E3C784F4E851E178BE

Key	Value
FileSize	21754420
MD5	1C10687EFB933B5EEF780AE07E624A1A
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	9AC83E73248141ED25CC5501F4B0FCE82F73F216
SHA-256	7B1C8C51763D0DC291CFF399685C53EA697EA8770F9F847E23E0903C58527ADF

Key	Value
FileSize	21750844
MD5	145CCE6E7993464F5F037AC47F1448ED
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	9D4259C2C9638DFA34ADCC49783A07B70803CE2B
SHA-256	71BA91B1FECBCAFB9596441D453CE19A42966E97C7A35C523A79C666CAB86C56

Key	Value
FileSize	1980688
MD5	976A5DCCBD457F5B13D28AA2D7E5D74C
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 Camlp5. . 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.14.0+dfsg-6
SHA-1	AC5C1700DDBB4F2B1C5DD65A53DD3D8B82D33F30
SHA-256	44DD1E0CFFB465B4AD61E55650BEE192DE0BA90A6F1AC321E6C79AA8D76C1616