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	1248656
MD5	E1C1645497605421782B74B7BBC43B00
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	5B987B5E91BAADF8750CE374BD5A04D72A72C677
SHA-256	96D0E80ABAEBE9F39EAB2563026DB082955534C283E173B9BE6312DA09FD237A

Key	Value
FileSize	1249118
MD5	91D9E844655C8788DC5D384321FF5CBE
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	450F318668330B796DF9411F6CCC3A6FCA7C9622
SHA-256	C37F033B86967D87E7557A116DA0127B0573E2AD456D249552EC618DD40B0BCD

Key	Value
FileSize	3773636
MD5	CB1738D39E6F7E22FCF015ECF8B953AF
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 coqmktop, 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.4pl4dfsg-1
SHA-1	9B913623AF00BB7EC015C091EF39B83A722BA9A4
SHA-256	7E11543AF089CD4B7477ED968E16C9E75ED568BF7A8DA7CAF795FDDE35B32034

Key	Value
FileSize	4119678
MD5	DCDDAFBE1E8DBACA51472EBEE069C8AA
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 coqmktop, 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.4pl4dfsg-1
SHA-1	5EEF94038223F715A921B97D4E30BDDC3CF8C403
SHA-256	094DE57541732D1F8A16BFBD4F351336BEE9AEA68EF8A5F35CC32F63E4936659

Key	Value
FileSize	3530594
MD5	54C9991CE6970B32C6DC7531BF0C8158
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	3849D3B7EA8F5882F9EDD707FCFD75F87EAF8266
SHA-256	2F970D4BDE6AA49F99ACBD2F7656712CBD54FA2990B1927A9266683F31A75BF9

Key	Value
FileSize	3708326
MD5	C02BE774E44BB739B17A333DFCBC0C0E
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	7AC6BE5253D35550CC121AFB338E478CB9AE89D1
SHA-256	DDD92C407C8012DAE7CF1ABF17BB6786FB1712A257D3DF4BCF88ABDACE4C3DF3

Key	Value
FileSize	3780318
MD5	C017FF21BDEBC69D5175E542B26ECE18
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 coqmktop, 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.4pl4dfsg-1
SHA-1	7E4401BFA532255E1FD2EA69F0D054A77E9B20F6
SHA-256	2E1A4769004C2DCB0B21F8B21BCEBD932323B35F1AB7584CD730894C3D937CE9

Key	Value
FileSize	3987246
MD5	8690291D09A0A00B2507D0D967902A4F
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	9FCE96A51F9B812015769D15F7D57246CBECD186
SHA-256	278F08683275D4B90AADDFBC3B7062D0CF3A0EB734AB8D4B9B2FE83FD94FCC3A

Key	Value
FileSize	4016816
MD5	59001170D4B8D5DE9F6AC8E13AB5E6E2
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 coqmktop, 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.4pl4dfsg-1
SHA-1	EFD8A9B039E3906ACAC47A7D774E011C0A616D68
SHA-256	95F6CF4C8C2EF103641F78B949DDCFFA771FF2A3D10DEABACAE45A9047B6F257

Key	Value
FileSize	3723144
MD5	9101EE4F916A480B476D07B9F8FB30C9
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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	D338818CFADC94BF2662182573FD518A292CFCBC
SHA-256	E67A79FBE38F15AE84902B4DB60C6E46D7A8757A97A29D367D5CD69C6E775B84