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	20367676
MD5	2B81F38F8AE6D92E41A10E6F7BCFF56F
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.9.0-1
SHA-1	1A3EFE87BB31376E598B8E382762142AB9FEE451
SHA-256	9745D456A43965126CF355AF106189C753B88F8AB9E62F57678CF2269E6036BF

Key	Value
FileSize	20367660
MD5	44811F747D4C33F716F52EA6AE2ABB8A
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.9.0-1
SHA-1	68E8F6F783952818FE5EC4ED73B3F19E4880503A
SHA-256	6570F4E7B83CDC6E99AE7C1FD4C8898C9E571F64D59884EFFF095F21407BE418

Key	Value
FileSize	20367644
MD5	757CAC6D549665923EA244F858A9AFDC
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.9.0-1
SHA-1	F64B4C9150EEB36630ADE3C4BE3F006BB5A0C6E4
SHA-256	F98B1B70C55DA84B5A71A4C6BF68B352D6AB9977C98200263EF2894B9C560585

Key	Value
FileSize	20371824
MD5	10B0BD541B5BC1C5ABEA9B410451C654
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.9.0-1+b2
SHA-1	754C1C20A308B438051B20682C48BC541B933206
SHA-256	421C7388F5E3A823FF96D43E4CFA7B2B4651AACE717DA5B47AE604A5BA36A7DC

Key	Value
FileSize	20372776
MD5	5BF2B0B7D0F42E9FAE1278427A1CE852
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.9.0-1+b1
SHA-1	4978EFC4DB0A6C9460B00699EBBCF89FD594A32A
SHA-256	8DF8BD0F79E34EA1AB1FC0D0466CC0DBCD5095EFA113D94ACA3F23592BD36BCA