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	31788186
MD5	8160FB65BBCFDBE7794E798CE595C45B
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	5ED3F1E6DBB2793A1D0D86EA714DA58AB5AC00D2
SHA-256	A48AD2810595977F5DE2D634038BE91AE35B301E95D48D9CDB1D2CDDF54062BF

Key	Value
FileSize	24007096
MD5	A9A327511B3A9CC4E167DEC026510DB2
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	7BCAED070C7771E9B2E0A6E7FE67476D174237D5
SHA-256	9A9DBA633020375C985A351866F3D02588B8909AE4930F6939DF61CC71D2D459

Key	Value
FileSize	24018056
MD5	C5747517526919290E947B2714813789
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	96615E7F1DC9E060B5E7A6FE0DF235428F8E5002
SHA-256	998169764F8B51A197304D0693FAF019269DDFA1580F63546342F762609AD128

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	24020470
MD5	B0D48D132E396566558DD427AE296429
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	892745A8814071D1D749A4425D96FD20CCFE57E9
SHA-256	FA13715C74A70FF58579FB8DA696FC2CB2153A08FB80F9C945308696541B5A18

Key	Value
FileSize	24019784
MD5	93FBF93EE7895E4EFCA5CBD03A127850
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	A062FCAE26294677E6A2D196C0F515C362BB6DA9
SHA-256	2675EF60D096EC8FDA7D053B2280A7CDC5FCA485AD6C8BBB992E8A3AAB539046

Key	Value
FileSize	32856452
MD5	875E23C885363B2B2701C039857D6E1E
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	07EA024FCBBCF4FDEE47B15C781CC8A80628B485
SHA-256	C6E8BD28AF61B806A2D7A805F8974F9A2E8342DBD42C3911CE05FCD566D942CA

Key	Value
FileSize	24007056
MD5	FFDCB85C16CD00B4296EAAD0949301CF
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.5-2build1
SHA-1	D6E95171CCC598D51CE5968E5878037A2A46083F
SHA-256	EB6F867523C4A2D4D1D0B65D836D38C36A723F49805F838983B951BF6CA44278