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

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