Parents (Total: 7)

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

Key	Value
FileSize	12751958
MD5	BDDBBDBCC2E4CDF3734B0B58398AD541
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	19CC1A1366498D973E3945C16D1D3A79CF990168
SHA-256	E535BE3FB0B4BD61B7EF82AA5308B361645EE2CD697355F8389BBD58D938F228

Key	Value
FileSize	18441644
MD5	7D23CAC09B0B8039E135E1324D2E07AF
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	E427174F5CCB94A0D573D3D51E78BD11DC3539DE
SHA-256	61974173A35671B1A9472A01216F2D0ED56009FD6CC90416B3FF636DECD027F7

Key	Value
FileSize	12562618
MD5	0CF31646EF6F11FFC126032C0861AA33
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	D7B3B44095F282E1EB89B394B853583299B714CC
SHA-256	3DC7C13A8F8F3AC0551320CFA729C45492B06CEEAAAE8EBAE228F03191BE46F2

Key	Value
FileSize	12683836
MD5	354DFFB5A53F832D169C73BA902DAF45
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	F29AA8CEB4A7706122EAAF7B34BFF2A3427DB9E8
SHA-256	295888A35C31BBB58A7E901475B513CB705D0471383C788350827CF59B31B83D

Key	Value
FileSize	13509668
MD5	B474361DEADB0A88CEF5109E9F3A1A81
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	12653CFEF8153C3C52AB480D0351140E017FEFF7
SHA-256	012BDB009555BE3EC78840F637298ED9C2043B812555F0C4FD2D0F8B2A92B117

Key	Value
FileSize	12120874
MD5	9A24D0FF545C8BED4BE2D8F9FDDA3779
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	69CBFA83D63866ED52AC7BC9DC53E30D773365AA
SHA-256	7DE75CACD6AFB29E94C6DECA61C4F77AA44D23AED76CAB2D1252BD20CBFA81F7

Key	Value
FileSize	18438034
MD5	95C2CC9370AAD10B2E2503573B72D067
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	AFC3B8C7E0230A76E4108EE6DCFEA1BE494B7B12
SHA-256	5AC8D620ACF4A0C2E2DE29346792EB99738B7BF45573739452766CBFFA7636B8