Parents (Total: 15)

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

Key	Value
FileSize	5604162
MD5	8A36D178D890354A531432CF048FB76B
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.4pl2dfsg-1
SHA-1	560EB5B0451621A2576E168B1183AF833D69552D
SHA-256	CD02CCF3E0E5D8744278292AB23604496ED62DDED55FA53BDC2E618334E34ACF

Key	Value
FileSize	6637720
MD5	3BB0635D985107A0C44F06841433DA0D
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.3.pl2+dfsg-1build1
SHA-1	CED9B0342719E3A8279ED15D99AB8999BF428C41
SHA-256	5F83E1C1F6563299E470CF0E393EC189001D6A2AC28D79658AC94E02582BF4C4

Key	Value
FileSize	5748142
MD5	408693D203F1F5641026B61AF50D80EA
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.3.pl4+dfsg-2
SHA-1	58D1A327D291F9BB90BAABC913FC5521729131D2
SHA-256	C6FEEDAD5463AC9E1A30EC55AEBA6AD2F987821B0CA69A508A519CAB9B4B2556

Key	Value
FileSize	6650128
MD5	33FF0B77E75D6B1E5258C7D2C369F9AB
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.3.pl4+dfsg-1
SHA-1	1EBA0FEBAF9A5CB560F827D6842EDA2B1BB86B1E
SHA-256	2D9DE53CA0837AB3E3478F065E13C133622BA48DFDBB34AAF7897EF3DD2DFE48

Key	Value
FileSize	5842704
MD5	567299EDD9223109676002E6716BFE85
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.3.pl4+dfsg-1
SHA-1	6430F40D0A450623F15D48A2FDF8FCC9DE93A3B3
SHA-256	83771A6809941527FDD5BDC9B0172EF64E0CB0E35F462A42311AE1A0BF9A8522

Key	Value
FileSize	5752170
MD5	99B7C70BEC58445AFAD078F0FC2EB418
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.4pl2dfsg-1
SHA-1	9F5FC789A11682E9EAC6C4DA8091BB8B13EC6BC8
SHA-256	D6CB6F27AC9CFBEFC1CDE3A2A8B7B9C633FC91657C4A959BFA2BD29135B10D1B

Key	Value
FileSize	6236660
MD5	35EF465F7197827E44A100E3B1156EF3
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.4pl2dfsg-1
SHA-1	0C34E6C37F2BD6AE1EE5AA6302F94E1BF4D09CBB
SHA-256	B0E1D0C50491F97A9E6CAD55D03B26347B371FE967D892DC8FAAD2E752FF4CD0

Key	Value
FileSize	5745580
MD5	9C35663BF80F69CF0034EEEEB3E2BDCE
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.3.pl4+dfsg-1
SHA-1	0CFD7307D99DA0B34893FEBFA25F1A60F6873DCC
SHA-256	A8FB92E135B7619D9148041D939299DAD3C348CBD98EFC052E98706FDFE1D56B

Key	Value
FileSize	5874802
MD5	F7596F24B1DCB95FE6ADD973FC8B7107
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.3.pl4+dfsg-2
SHA-1	F1C40E445FB0DDF6758BD4A1F7FBA8F4E7ACE56F
SHA-256	B4AD0E06AB8997BB473BFF496EC753228F59709079DB952C50E87AAE74A46855

Key	Value
FileSize	6686142
MD5	89AD7C8A27B9423E99D39F2EFEAE84AA
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.3.pl4+dfsg-2
SHA-1	4FE023377589D04AB3FA00C1F77AAC7D903F02E3
SHA-256	A49FBED167E7B2E6EAF518DE7B7E23E198E7161F6DD562AA06925EA3CD929981

Key	Value
FileSize	5873544
MD5	1027F9231E9A29C40E2AA072C9814278
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.3.pl2+dfsg-1build1
SHA-1	63D6EC4B34AF4055FA6DACF30036D1D46E1EDEC0
SHA-256	B20D8F46673973062279878F89161AD794DE67C26554B9878B9000A657B852B9

Key	Value
FileSize	7551918
MD5	07C7B851A02AD21CC71955FCD8F7CDD6
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.3.pl4+dfsg-1
SHA-1	6F4D0C210DB07832BE349B395E27F2CDB73E03AB
SHA-256	B63FFBA624B356445EB96D060587A57BBE1EA7CD9581564FD6D3661D9AD0F774

Key	Value
FileSize	5698876
MD5	C32D160BBABEE2328F1E977142FABA1E
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.3.pl2+dfsg-1build1
SHA-1	EA519337C663750BCA5A1433A7F69F23D19A45A0
SHA-256	ADF9BF88AD5A8CAD455F40C9A441C3636F04A63100022791E9C59C34D1B6C21D

Key	Value
FileSize	7559606
MD5	FD6292EFB6E450AE0785D6487D884A49
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.3.pl4+dfsg-2
SHA-1	1A167003C6744D76573164D4099F2B329E73E033
SHA-256	39C52D7138EDA563A1E549493F0AAE9BF02E19B47C49DB010C38FEEAFCDADEFC

Key	Value
FileSize	7528276
MD5	97CC0F3D6A72B86BC1CDAC4FD78C82AA
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.3.pl2+dfsg-1build1
SHA-1	3E6DBC59E8BC27E11CE8634FF5C05E8BA91599C8
SHA-256	4B90DF1E7ACFBADEDBB96E98D7CA999A52CAC3C6B0F69C9750A7E350712522D8