Parents (Total: 46)

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

Key	Value
FileSize	19119940
MD5	3F2C25CC3221D769238749BBFF24BA83
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.6-4
SHA-1	001F74DF4C31B167AEEF5CDFD54915BA365F7D8D
SHA-256	E7F1D163E59E66DFB984538058134EE90E8C3915B7530FC6BA87627731E53CEE

Key	Value
FileSize	18928658
MD5	9697C5D76E4A750B946F24CC959AEBA1
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.6-4
SHA-1	033498804B6726CFCEB02CCFD80AF699640BD9A6
SHA-256	7F14451683027E3F19B2BDBFB658D3EEA27C8A731BA82B84962E911A663E2215

Key	Value
FileSize	19119318
MD5	99A998E867FD2733C8C1405FC7A90C8F
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.6-4
SHA-1	0BBC81031C694F528626A6F39B3789E45E3E705F
SHA-256	311E5D3EC72C02320652F4B0040BE90E89A7D2FBD9868D81F7841151FAD1D505

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	13953402
MD5	9FDBA45EF4DFDCB30016DA5EFA3EC7FA
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.6-4
SHA-1	1575F63338A2F94AAE409DD733C7E419FAB18D58
SHA-256	7578534F25DAECF0A9F88855E5B99E4D64015DFEECE0F16DD7A47F2E7BA33B35

Key	Value
FileSize	13839012
MD5	077D964A84BC9AFBEE44003643CC711E
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.6-4
SHA-1	1840DABDC63AEFB3AEBD24F4D9FAA8E013F9CC3D
SHA-256	F9E3CF1BE35D197B0D79D76709AAABD7335CA5B05F9CCBE9BC4302B9ECBF49A8

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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//amd64//coq-8.8.0.tgz
MD5	62D6A3F01161C915D3E98240408FF7D9
SHA-1	22DDB4DAEE9673CDA1B8C25FE3FA11A367F93369
SHA-256	E701439F07DDB68604B97F1028E463D3B279A76CEFD869983F5AD0E783640905
SSDEEP	1572864:T6wIfUlodKqZB+WY1J1eKk1+TwHJHIP583huCWTzBae2f3MAmXmLKHVpgt82Sf:O3TZRQJ1o1ZHJHIP5ouC61GnYo6VKvg
TLSH	T171183384A9D3990BC811992189701CE5C9D12188CA875DD5DF63BC75AFCBAEA3B7333C

Key	Value
FileSize	13593774
MD5	233FCA1EACE73DA56D685A86C2B314F2
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.6-4
SHA-1	22EA5C4EAAFD5FC9E89437B0ADE6BA0B479EB646
SHA-256	12B2D742B7577C213D80FBBD7414566FBCC2E7A3E6D5604ABFF225ED5B135EE3

Key	Value
FileSize	18925312
MD5	9742A3C359048C889EC6CDA2FF68B681
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.6-4
SHA-1	23BF7B5362A29DB6028187BA7CDC610712E441AB
SHA-256	605B477E56A01E4A387C515771D2E25DC846A475FA4A3F2D13D4B3780D8E89CF