Parents (Total: 17)

The searched file hash is included in 17 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	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	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	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	20293000
MD5	BD7D8DB9AD8FFF55B718FED467B27F52
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.9.1-1
SHA-1	568D3D5F1261C2B4C9F051D5655CC550A815A357
SHA-256	A0C138AC30E6F32C14ADE4DD4CE73BB2C603069EFCF0016707F0E25A2093B230

Key	Value
FileSize	20294996
MD5	237EF4FEF31D6CD6CE1B3F21660B785C
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.9.1-1
SHA-1	6DD13E00775A8DE26BD93E680B591B2C20EB7F30
SHA-256	B919E1A543244372837E4D88712A5A832C85AF7255CF101397BC101609B60FBC

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	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	28549828
MD5	53C076BD96306EDA2A3756A26904EA4D
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.9.1-1
SHA-1	932045F2B71FA7D2AF137A22EACA11D49127605E
SHA-256	F06644E41768706FEBAA0F774EF387A4FE3FA1A583CD9EAD7C4FCDC81EC50AEF

Key	Value
FileSize	29522596
MD5	6245A20E8DFB623933BDDBC941750F54
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.9.1-1
SHA-1	98946002AF42F510702AFA65E8ACB8BD215EDC3D
SHA-256	B7603F9D1287860AF2FF1A535C4A6994AD07EADFDD0594F762E22592737B6263