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	20357060
MD5	646AA56BAF40B2FD4A2E4329A2301EFD
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	9824D665CC9CADE1FFB9031031362CCC2C388022
SHA-256	6160AD64DD46D732E89C36F8EC41F1B7E5891290C9864ECBBEAC77A3411A6432

Key	Value
FileSize	20358884
MD5	52FB73A60673C3E967635414B15EEDDE
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	694B30DD3B8ECAC2077E1BC5C66931123D76F406
SHA-256	B06C43BDA9DA6624D4BCEA0119E1A500139DA404FA6C1D74801929D816B4E189

Key	Value
FileSize	20360040
MD5	5C693765F6468EAB59E0241B382746BC
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	E128F255C362D9462829AAEB18EE7E204B67C80D
SHA-256	D2CAF639698B215DE6FF41E622502EF8ACAE2BF7D89A957AE108D27238415623

Key	Value
FileSize	20356976
MD5	CFE9E0018E8ED2CA6219ECE8253BE54C
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	4586AF5ABFF950C0BAF1343903F16A78B3A6FE2E
SHA-256	4AE643D36782F800F9CB89CB7FC02FE2BF24B9E54B3C852149A211AF4821AE8A

Key	Value
FileSize	20356988
MD5	E6D4566C4C1981829236FF49571F059D
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	9580838516386F70A75690CF5364FAA4006F3422
SHA-256	8A041DE61D88390FF905149605845CFD6FD3B07B7839E34DDCD50867D645D976