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	20345004
MD5	38991EC84238689947D12E6DC0F1EBA9
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.1-5+b1
SHA-1	AF432B0BC704A29DD4DEC4F9A76FC45FE9ED0D1C
SHA-256	C7751F92786D49953E022DA79369EEF5B90CC362BB2A1BE55AF0E38B2A93B0C6

Key	Value
FileSize	30160688
MD5	79DC8D395764A53E2E7174E9C489FF36
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.1-5+b1
SHA-1	43303483F79D49CF7F7D85E6FB9303456872A65E
SHA-256	F1045BBC4C4B0D445165256DBBB3B73A5398813ED92DA2715B7FD1046A55D2BD

Key	Value
FileSize	28979508
MD5	D8793330FECCE9A82C4394CB4CE1A3DB
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.1-5+b1
SHA-1	064F26BC432CC3BE64705068DE277A304D216C89
SHA-256	CE89355FC2A382076BD6808DE42AB0CF2C198EE29C705B932976700B141BD52A

Key	Value
FileSize	20357464
MD5	031011D5ED851DA5DCA72C37F344000C
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.1-5+b1
SHA-1	6AF86BC82EC19772A938325A639C203C3B161A00
SHA-256	934DB2F8CC01B684514F750AAFBEBD3F76CCC83E8E7F9985F91E7E52EBB06A7C

Key	Value
FileSize	20336724
MD5	D228FE28FB841FBBE39047D9728EEEBA
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.1-5+b1
SHA-1	4E325907CD20998191280D77FE03740F1586AFE3
SHA-256	FDBE5543314A038F05284C0100385E68B92446E1814BC748F33411E35F9CDF34