Parents (Total: 10)

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

Key	Value
FileSize	20355600
MD5	E47B20C16ACF06BE3EE7207CF39BE3F1
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-2+b2
SHA-1	1F93539BDFD79358DC0EE7FEA0D810E952071720
SHA-256	62D6D469891037EEC216B3BC15DAF1032DE00687CE4C582D6F3768EB17956DE5

Key	Value
FileSize	20375292
MD5	D9419A115B3A658094A44C7A8C3C9C04
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-2+b2
SHA-1	305EA0404331F28D863F7E3EEF70A22E5610454D
SHA-256	0CA146B4EE820E2AAB4C6BB08B3EB4BAD33BF2FA02C1F8F45BDC23DC8531BAD4

Key	Value
FileSize	30185952
MD5	1C1C033B9B0A165B4CEA291A59EE66C3
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-2+b2
SHA-1	C4EE38EB73E61B281D30D9CFA2D41AC2447C145B
SHA-256	99877DEFBA674735A6A19FB8EF7E6768337879B2623D518D1B3D4B4EC52133F1

Key	Value
FileSize	30183784
MD5	20B81961E9FB61F162B83C790B968424
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-2+b1
SHA-1	21BDBE3F68509586E1A85D3A5FE52B58F6BC2118
SHA-256	786DA599F34BC10A744CCAC670B9A1AFF38A0022171C54EF02FE6E7712D0BC08

Key	Value
FileSize	20364404
MD5	B9DD8B75BA3B5E7745459E7BA251E7E3
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-2+b2
SHA-1	89BE3BBD080834ED41E2F11554708F3863B65233
SHA-256	8C4081EC7A56B1F3EE73F113B3DF067A932DE66DEBD42CA735B394B2DD611CF8

Key	Value
FileSize	28971444
MD5	88A2C8636DFD0C455538DE59D6FD3550
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-2+b1
SHA-1	3FE57B6ECDA4FF6B431C58FCEAE7313C84F88382
SHA-256	7D8461EB73B885CB041E295298E0BCE821BFB273863FFEF1F11A70BF3CC1C055

Key	Value
FileSize	20372136
MD5	974EE28BA704AD09506F99868E484321
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-2+b1
SHA-1	87A4403FEE31CF843EBF1879564935E5807D9DD5
SHA-256	C9C202132C3F70ABE72B528657F0CCD853E35A40C234778C71A8657003C26DA3

Key	Value
FileSize	28981152
MD5	CCF738F104564EC00FB4C75DADF2DDB7
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-2+b2
SHA-1	AA64E635E8599A639A435D897553EAB257B8B425
SHA-256	3AAE6A022189BD866A6BB1923A5481289738473CA920E85172D52D3BFFDCB4E4

Key	Value
FileSize	20364596
MD5	C72ADF5A4B3451FFAD15FF8293389F35
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-2+b1
SHA-1	F28F8B359A7CCCCA7AC8F5B74C4652B331969A62
SHA-256	ED0676AB434EB56E8E7239DC876A28F69D86E7F3F17F18294C36896FEAEA01E4

Key	Value
FileSize	20356716
MD5	2ABEF0C59CC3E3627EA91723AC81EC3E
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-2+b1
SHA-1	DC1DD210B72ECC1F52E92AB8C797CC8B8B374C4C
SHA-256	094B03C7F4283C2497A996C52C09574DE20758032F1A87C2E8715B62021B3EA4