Parents (Total: 9)

The searched file hash is included in 9 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
MD5	72A13A7C5887231F263C3E23D42757A4
PackageArch	noarch
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 documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	0DE3D54C744029E2FC9E62EEFE09511E61A8D998
SHA-256	AD1C030778F66EC404F4F4328BBCD4221FC1C73C98CAC0648A35460C05A9EB96

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	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	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
MD5	EE956032152BD881FA5956F24553A8B4
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 Coqide, a lightweight IDE for Coq.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	AAE827D532798FCA3D343C9E4B39F6967C7912A3
SHA-256	352526E347CEDF1E6230F8EB7CE2F2AC7FE2267B82B058726B71CA0A1430C64E

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