Parents (Total: 28)

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

Key	Value
FileSize	22532000
MD5	5F1936C0C42BD985CF8B196DC895B269
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	7513F2387D12E1AD5982EBB7688060E9D48199D9
SHA-256	7F7247554453A245000AA40284A9AACAE35B9F193B2C589D0BC9FC67F72E5A09

Key	Value
FileSize	22853880
MD5	1BBD64C87DE9A9D11708FD3C89B98B6E
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	7CB7B9C9EF5F1F233587ED2AC18561D4093DC94D
SHA-256	A16BD251C51A78A30AC8B60D67B1F93D5D20D2CA9B3EBC14ABF680D0FE7ACF1A

Key	Value
FileSize	32170552
MD5	34248DAAB687324BA1F85EFFE05008B2
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-5build1
SHA-1	81F38B2CB3BC6989C91BAC0BB4E6917FEE349871
SHA-256	C4E02265CFDE9DE7A5363E42D94A554DCB39E0C04198FBF8FCDFEFF6306434BB