Parents (Total: 62)

The searched file hash is included in 62 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	93212572
MD5	F6794ACA0A7A2EEA78DDBB0F0BEE49B6
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.16.1+dfsg-1+b2
SHA-1	0FBFE2E8CC06FEEF4C1313DFD601385645EE2A27
SHA-256	6496DB435F9585E1F1527D9418070F15977B049C01C37C9BD33F7CC4152F8677

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
FileName	http://archlinux.mirror.root.lu//pool//community//coq-8.13.1-1-x86_64.pkg.tar.zst
MD5	58D5557391770D650BCE8E7423B8142C
SHA-1	15092F3338B174622BA658FEDCB9663AB5B87F3E
SHA-256	314B98ECE8713FCDE2B39434D4A6EE7F18F8370758D3EE59A388682096ED0092
SSDEEP	1572864:xYZJGr4Pe4OMZCtYDDvVrb4kNRw0VILA6:x8JGaZPfvVrbHZ6LA6
TLSH	T15CC733C1F7E2860EEC686938216E695921D94CE141203AEEB7B237E2B7F74572D35F10

Key	Value
FileSize	73781404
MD5	EFD92C2B10DE93608564354FEDD8FAE0
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.12.0-3+b1
SHA-1	27B8D6EC3395672B8325F1546FF64DAA40D8437B
SHA-256	4733933464C40E28C042A58D5EA36CCD85C947ADD0926A31F6297542841E197A

Key	Value
FileSize	90459820
MD5	4395F428EF3D4395207CF7EA8569BE5B
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.12.0-3+b2
SHA-1	2B036CA9438C2CE6E73CCBE10497A3C02738B6DC
SHA-256	EF317C33E030B4EC46DEB69FF84D3F4C079FE5372355792863C68A07B4F3DCFE

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
MD5	ECCB922139F5297667615B434B7E88BF
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	3D2DD7670291DA2139E3A7ACDF8B4257725BEE58
SHA-256	246EF463E7ED5C64D4F9C133E872D7829E24FC225D192C4E7FDDC88B974D58AF

Key	Value
FileSize	85584152
MD5	882B79A578388B96A59F745E222E17C0
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.12.0-3+b1
SHA-1	400E749C98905D86A496AB483CAA7F207ADFF22E
SHA-256	4F74FCB7372A5E713DBFEB1C3BDC542390F98178B8499BFE059BB974873810CB

Key	Value
FileSize	87886220
MD5	1295796AA4290FDD04CCACE11891589D
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.12.0-3+b3
SHA-1	409EDCFE119F5125231940EAE1DBA352C18CC075
SHA-256	97B1EE3E60E4033C26E21F15C6161E3675AD2518B51C40917550E5CA3DEA2DE6