Parents (Total: 36)

The searched file hash is included in 36 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	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	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

Key	Value
FileSize	22853882
MD5	37D72B33B61551A99BD3B0D33EEA7054
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	5E46AEE8B156783E88AC324666EB2CE24009A429
SHA-256	C33D6F02EB0A0623756D657499F0AEAF385C11E402F2390A4ABFE10CE462088B

Key	Value
FileSize	31788186
MD5	8160FB65BBCFDBE7794E798CE595C45B
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	5ED3F1E6DBB2793A1D0D86EA714DA58AB5AC00D2
SHA-256	A48AD2810595977F5DE2D634038BE91AE35B301E95D48D9CDB1D2CDDF54062BF

Key	Value
FileSize	22842810
MD5	7D7BB938B242D8952C6338D3E1CB1FDC
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	6C71DFA571CF0AAF433D48FB5658440CCE86857E
SHA-256	CE4B7CCAF978CAC774D922CCD4E760F16EEE555B5B4AAD2904A0554AC4BF6532