Parents (Total: 8)

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

Key	Value
FileSize	971680
MD5	406181FA77FEFC22A04221939D133DE0
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	DC03AD02DD40F1AC1BE5FB8CD15412FDAF21ACFD
SHA-256	9D76553D34EE68F09A4791C58B96C8E1E446475B559BFFE4BCBE1E66F4679245

Key	Value
FileSize	1762096
MD5	8F3E77D6D512072291DEE9610BDE84F0
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	9DE77663E0E8044920AA5AB5E6F04850B1A1E541
SHA-256	75727C66F5907D0C98AE100FBE912DB752776CD7B3C79527FC6F0D5D97E0BF1C

Key	Value
FileSize	1102760
MD5	C5629DD33C8CDF740FE56CDFDA0C902D
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	12949FAE458712936EA2F3FA68925533012803EE
SHA-256	B120D6C79B6C0A6C71B8AB3E2B173091DC82D451534BFEDF054CCED39893EB6B

Key	Value
FileSize	1762116
MD5	4277563E41787AA974ABDD712EA503B4
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	32C31A8C3801423F481BC036EF76CFC5B2D7DBEE
SHA-256	76EB2D588B3DA49CF5DF28BD319EB415801AA10B5E70417BE395B780AB1F48F6

Key	Value
FileSize	1212448
MD5	E0E39388A665E463E2AF465AF8148E6F
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	EF783D173FEA6770B1964424CC8B056AAC51622C
SHA-256	18083885D626DBD618CA0DD61A643DA4128BDA5C5AA1A6C6B4598DA0467EBFFB

Key	Value
MD5	0632657330A02C862C917DB28CB8C656
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	FDE70F6C2431380A36C304C8548167DC5E8F8CFB
SHA-256	F29F0879F37FFAC6EA49C7DD2A17046CF51C53AC482C82870271FC6C3C4300D2

Key	Value
FileSize	1026922
MD5	2DD22418DD02B4809B3CDC826A019926
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	6487A099393E61CC070D11E55CA5BAFC6B488F2F
SHA-256	D61236425AE4264F7C3310650CDC55D6458A1E0526C6CB126B93249FF1E06EC1

Key	Value
FileSize	1114752
MD5	366540D8EF77D0879DE6D94595C933BE
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	22AD98B8D4A27264CE768BD3A4F80BC9B2362594
SHA-256	70B734462B399E10A1A679BA90F0A0ED2C958BFB418F8DE5FC4928E867DE6AD4