Parents (Total: 11)

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

Key	Value
FileSize	22844830
MD5	0E0C21F3F6567E8A92CE04022CF33E88
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	8233F61E1B27B1FEC7E554963ADDB25863472509
SHA-256	DC482BB3535D048436AB03B211596BFB3723E93C8671404FDD251068FBC8D665

Key	Value
FileSize	22900792
MD5	A0F0691412C827669F54E756420BA241
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-5+b1
SHA-1	ACE2D401E764BFB9C62B9366C12CC072C6E92210
SHA-256	174D89033CEF2C8225AD6DEDA89652598191F0FD35D089BC12DA2928FB5D3746

Key	Value
FileSize	30400702
MD5	FF41F0C9C999441EED93E757B6D05FA3
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	D23604342C16B4A191DDBD239E37E04138CCB3AF
SHA-256	61BE90F61C45BC3D4CE5660746D7E3D518512ED086C69444444255A5D461D141

Key	Value
FileSize	22857022
MD5	5D166221A43BC616E6369ADE782C4DAC
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	B0416CD7B7B7FC314AB219AE070E66DF131B506C
SHA-256	A059E33FD252200476D24E26116822550C1CCE71C5CF2EE0AD6D6988BC28ABEB

Key	Value
FileSize	22844230
MD5	37A85B9D4C44A3F30F6D583079F13ACF
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	A1812151E535248E47996FACA33C0C3148D268B2
SHA-256	81A1C0BABB5B701638BC9EBC15B0292051F4DAB1869231A6FA5DE53B8CC41E5C

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	22842810
MD5	7D7BB938B242D8952C6338D3E1CB1FDC
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	6C71DFA571CF0AAF433D48FB5658440CCE86857E
SHA-256	CE4B7CCAF978CAC774D922CCD4E760F16EEE555B5B4AAD2904A0554AC4BF6532

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	22797996
MD5	04787691FD9F2C83C6AEA20DCD204228
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-5build1
SHA-1	B6490EADF0D300F6DE6005923BEA95493323D8D3
SHA-256	05EACC21CCCAE3D251F92CC3DBBB7B494D856C904D9D1A7510EE7CCC4D345972

Key	Value
FileSize	22842806
MD5	5D71A185F457BA6135FAE4F045553212
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	C4ED8E2878D75806280F532AC0D0FFBB7D9428E3
SHA-256	548B3EB9C0000E79ACD25F3CE9ED0ACBC2396BD72B52D4F1BF3381B6EFA9DEDD

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