Parents (Total: 30)

The searched file hash is included in 30 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	38858888
MD5	7D92E9E36EDD3F8BF53416BFC0496DDC
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	131DE74C819CAA57BE1D5A07905F237B4C68F509
SHA-256	965B3D52140CCA72F2C9BD391F4865EBB0D1D5B234DEB8D7C4714F495785E936

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	21636996
MD5	47F48748BF94CC0706E0F91A9839D218
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	454EADC3DEB707DAFDBB858D0B10392B8842C398
SHA-256	073B4671DA27D7C20DACCAE915C6B5E3393CFFAF890F112675AE4AD269C964AD

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	22789112
MD5	1FEB7CD5014195675FD15579D5B17901
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	690CCBD618BB02AED4D8E413889167337AF6C06F
SHA-256	92815089DD8C51D9268817E529C525E36499342B7EE49F08F50760CDFBDF0AAF