Parents (Total: 8)

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

Key	Value
FileSize	42725144
MD5	DC9EDE594B161D65FD8A76D2745BA48D
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	04E9C9D8FB7A35960F95157BB748186F9F19E7C4
SHA-256	3D22FD62A199FD3E5FAC1D8EF7BBBB3F462E409765FD6A7C7952ACA07D9E19E3

Key	Value
FileSize	43114464
MD5	3570FF4BD8B526A302237ED52DC90DAA
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	7753CC6BB056192A1BB0F000714FE8EA382CC779
SHA-256	FD3544A9DAA8453BE39F795B2980FDA85AB3190538274F0D9A23DE56BE94372E

Key	Value
FileSize	42455752
MD5	FF07A095506B4F5C4134AA13BFCBBA34
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	031DF8DA017E553C330D47CF3C823D448ECC86E3
SHA-256	54C3578562CDCE8738A569B0AF159A97119B33211219C0FC03FD63D407BBED01

Key	Value
FileSize	42725424
MD5	7478C7296E4475A69CCA0146E6EB0109
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	36475549CB8767A40EC4EEAA7F859F36BFAF88E0
SHA-256	CF725D92990AFE1DD02E54BEED68CF1C6D3C2C77043E67796136081820588200

Key	Value
FileSize	42825080
MD5	5E1177631C587E068F6B8E2D7F04CAE1
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	A0966335625B73EA6D7B86D38224ED41039F2877
SHA-256	F0B1286532E64477487294A641BE0B877AD6EB2365CA41F3B56EFB2C7AC13A1D

Key	Value
FileSize	43106024
MD5	A22DA659B450A3E84C53254A60EC039D
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	3AFD79E7316BB14B09BC04A5EDBC253510D7DACB
SHA-256	64EADDB3D6CED39EA3FAE4E1173945239BFC313BEFE5FE02BFA8CB81E9F2D0ED

Key	Value
FileSize	42815248
MD5	51EE73CB42DBCEC4B4AD9C664682883D
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	D184F6F4C4C1194EE7C18573CD37DD6EC49DD1B5
SHA-256	D745C7AE96F2145AB406D3DDBA66A5C1B7686C71B5F351CFCB8B1F80412BCA48

Key	Value
FileSize	42449528
MD5	600828DFCF78E833601870BB142E4C21
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	8F47A072664843FC5F187621E7A52954EA1EED2B
SHA-256	A79A0FE64F3EBD045463D2B4585CA805A1EF1971D2C90FD1209D8305E06BA455