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	32177364
MD5	42CAD4525A1F78C1ECDEDCF57E6545FD
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.4pl4dfsg-1
SHA-1	404CB5B9362AB0062E4F15B9C799D239D70215C7
SHA-256	9720678A07E98B85FE8DD94270B1F550F3AAE7E090C8C358E88DB4037D16EAC6

Key	Value
FileSize	32011470
MD5	5729CDE95A8FA59B3F21CFEE2F271E7E
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.4pl4dfsg-1
SHA-1	3348928A417AD3F55FCBDD3182276883D73C998E
SHA-256	16A288D163C5CF288DB23520FC500687453C537724E13EF0CD26757607A9D906