Parents (Total: 5)

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

Key	Value
FileSize	22532430
MD5	10BCEF4E217327FF9B144FCE6EC16FBD
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.6-4
SHA-1	D1827AA2D0F30BDE0BE7A4726099555126A8643A
SHA-256	4700FB7754350AF66467F3FE19885FB12B2ADF2DBFD0D712241DDE189FB8FA2E

Key	Value
FileSize	22532374
MD5	7B060F3CE04E07F043F60DC74034D602
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.6-4
SHA-1	D482C10F37F31BB9E2A81B5EE91A8D691E5D665E
SHA-256	B9ADED5E0132C6AFBB705A45CDC99CF3C08CBD6B2FA92111809E396642B03F3A

Key	Value
FileSize	22853882
MD5	37D72B33B61551A99BD3B0D33EEA7054
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-4
SHA-1	5E46AEE8B156783E88AC324666EB2CE24009A429
SHA-256	C33D6F02EB0A0623756D657499F0AEAF385C11E402F2390A4ABFE10CE462088B

Key	Value
FileSize	22853880
MD5	1BBD64C87DE9A9D11708FD3C89B98B6E
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-4
SHA-1	7CB7B9C9EF5F1F233587ED2AC18561D4093DC94D
SHA-256	A16BD251C51A78A30AC8B60D67B1F93D5D20D2CA9B3EBC14ABF680D0FE7ACF1A

Key	Value
FileSize	22853882
MD5	2EA59C2C2BA371BE1208B182E802F774
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.6-4
SHA-1	E936CEB48401AEE7992A89E1B403FD0273AC8296
SHA-256	29A6A4C0DC54BD81A0249F008696242529A5FF8BC8ECCFB730D8411EE71CD9DE