Parents (Total: 2)

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

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	22532000
MD5	5F1936C0C42BD985CF8B196DC895B269
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	7513F2387D12E1AD5982EBB7688060E9D48199D9
SHA-256	7F7247554453A245000AA40284A9AACAE35B9F193B2C589D0BC9FC67F72E5A09