Parents (Total: 41)

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

Key	Value
FileSize	33323634
MD5	8221FED5FA89688FE2FA2C724216B02B
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-4build3
SHA-1	0404BEB9E0EFE946BA2A8E6CE5B2AA74E0D8F75B
SHA-256	05E54203580359D358EC964B20F29688C322AF4113EEFDA289BE9DECFCB80E4A

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	32856452
MD5	875E23C885363B2B2701C039857D6E1E
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.5-2build1
SHA-1	07EA024FCBBCF4FDEE47B15C781CC8A80628B485
SHA-256	C6E8BD28AF61B806A2D7A805F8974F9A2E8342DBD42C3911CE05FCD566D942CA

Key	Value
MD5	72A13A7C5887231F263C3E23D42757A4
PackageArch	noarch
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	0DE3D54C744029E2FC9E62EEFE09511E61A8D998
SHA-256	AD1C030778F66EC404F4F4328BBCD4221FC1C73C98CAC0648A35460C05A9EB96

Key	Value
FileName	13598
FileSize	30091244
MD5	B334B9B2E462DD6926E83BEED9403937
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
RDS:package_id	182052
SHA-1	13D5F46FA117DF418C4EC170E9580F3F6BEF57EB
SHA-256	A5302428643903B615990FBB46442F1ADB5440D8B587B113F56E51B9DBB3FF6B
insert-timestamp	1679408379.4200697
source	RDS.db

Key	Value
FileSize	31149098
MD5	6F1BD744645F1264A7B3A69FEF6AFDC8
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	3A295E2F94DEE79104C30617D5917131B92218F8
SHA-256	47D5190682FA983501288EC6F2BF73540371B8FD71C583EFF206276E4AFD0BAC

Key	Value
FileSize	22834158
MD5	63865B6BD47946A8A3AD6F5E034BD857
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-4build3
SHA-1	41F91FB0D8BC560BC93A6F71A807D9E4380BE233
SHA-256	4DCEEF87848FD201E06407568743CA8B2C4FD4A621D00A5EF3E17672BD7E0C08

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	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

Key	Value
FileSize	31441296
MD5	FFE50B8A98424108DDD6B02D607D874F
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	54D389A75B77C01668378529ACFBA9885E970C53
SHA-256	BF308EEA0A2AF856D6498AD34818A1D86715D9F57550486872FCD7F9125942A9