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	21526056
MD5	CF6430DEFD7199BACC9EA257E459B608
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	libcoq-stdlib
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	C2A852999F5A526C806BA70D474B2DCD59050DDE
SHA-256	8041ED20FB162A30553E273D9D3E8A3E67D97E08020B604AF2402CC4BE2E6431

Key	Value
FileSize	21532696
MD5	6E5B26E84EAA52CEAFB876DCDBD8FF27
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	libcoq-stdlib
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	D5DFA4E7CF9A45D9932B92FDAC318EB329928E66
SHA-256	2147FBBDD77F1D949CC625BA7FF37D54E45C3DE4041A938230691C337F139BBF