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	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
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