Parents (Total: 40)

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

Key	Value
FileSize	5402476
MD5	EB78B8B42F1F57E5E70C8DA18E34D012
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-2+b2
SHA-1	041435EFAB48D4F7C51CE96E501B61F321405D94
SHA-256	26A5298FA313C93AF261A1169262AF6A2FD602482E9E34C3D5E231DD071398DD

Key	Value
FileSize	14774972
MD5	D433E0440ADAAD09DBD60CB8E94C714C
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.9.1-2+b2
SHA-1	0786A4979EED548C92C6DA094C3AB4C3F8222909
SHA-256	0BC8A061C722C235401F73EDD9201B69B4DCEE1217C6E2C56C68359D4EBBC701

Key	Value
FileSize	5682652
MD5	01740C513C2E923683076815DB0AF9CA
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-2+b1
SHA-1	0F8454E1E5FDFF36BBEEF2455DDFF9F5007EB503
SHA-256	49C71675121E28ED2910AEE221AA84053ABA9E77B16F4F6B3710A82EBDE36A50

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	14426204
MD5	C6CF2205E1B9A1DED6BC5DD981E51A86
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.9.1-2+b2
SHA-1	2C25801A612776E192181EF842366D35FA3B0BB4
SHA-256	E01E0A432BE5F87C30A921A147DA7A1A3A3B00631BB60ACADE3666AF03EDC99B

Key	Value
FileSize	3805604
MD5	282A05D9BB56A1692D03EA6EEAE2DCBB
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-2+b1
SHA-1	305224A21B6CDC1470911278C505B94B5A28C0B5
SHA-256	14BB35E0C57376A3A1BD1E25F5D5EDE76FE78617DFD98A12FCFA5D279D626DAB

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	5610480
MD5	3D118EA5DF5B119D070CE1F4B5E2B072
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-2+b1
SHA-1	40BDD4EC1439BFFE8AD31BF14A6A62FEBAA70055
SHA-256	54C6624CD50AA6BBC175F0D6ECBF9C333A6E20B11275F62DC8E54E7820178AA0