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	14313492
MD5	076B406A9DC2EC09AE0F0EFBACE8CB3D
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.6-5build1
SHA-1	992C5132DDCBEB286B5B551F5360531B74EB7B19
SHA-256	1BFC4302B5E0F83DD30902DE8B8F03A58B68CF01785AF451ABBD0234A5D08FF0

Key	Value
FileSize	14025668
MD5	8E43C6773FCB8B37CA379C2CE7B85A6C
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.6-5build1
SHA-1	0FA81EECAC6D88DB6A2741E1A650287CBC2DFB79
SHA-256	97DDE75DB602CC39DC687B4B65FD72957B6352FAA4ABA543F5EACF53B9AB223A

Key	Value
FileSize	13796020
MD5	0EFEC17C5DFF06F68CFA1303B5C79FEB
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.6-5build1
SHA-1	E0987ADB4A2E8E4D8103DF79206978E11ABBF689
SHA-256	0B0DD198C9479A3003D06DA3EB8C30B5A8BBC27AACA5EB11AAD680A07A5210B0

Key	Value
MD5	1228FB0DCA765019FDE0D67288F8C9A7
PackageArch	armv7hl
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.4
PackageVersion	8.11.0
SHA-1	7D2CF94062A7F23F21BB8D7B9D3F999D51B46F98
SHA-256	68E2BC6B265295F7840FC6EECA3784D4BC662437E952C008451787E2123C8BE0

Key	Value
FileSize	14377820
MD5	36536533D4F92A4BA0DF798105FC6165
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.6-5+b1
SHA-1	2502E79CA9360D82DBEF256FBC4A94D9E7E97F89
SHA-256	6CA1D2E398929A1EC6BAD21761262086CB9E1F35A0FF65AD6A3C8A9ACCA2685D

Key	Value
MD5	19C03453AB9882B1CA9FF1AC1A4E216C
PackageArch	s390x
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.11.0
SHA-1	E6D77DF720147C6D96B14144FA2081111478E1CB
SHA-256	E3A80BA2C2A000CF2255967045C9C2F3FA90FE8CA41BA58D62DFB735267D06FA

Key	Value
MD5	D66C98F64EC18783C772A32109617AD5
PackageArch	s390x
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	2.d_l_ocaml.2
PackageVersion	8.11.0
SHA-1	E87CF496657D4DCBAAF45BFF2BD1C80FCCA54668
SHA-256	1B6F6F80A2BF013927283CCA6E13DD7160857442DB977F0E880CC714532BCE9A

Key	Value
FileSize	14088800
MD5	6B239177E2D94223A897285CC130FB65
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.6-5build1
SHA-1	4F8BFB2A60FFDEE6509800990844B8209984A77F
SHA-256	341EBECEFE15E0B1BA5DCB7D11F5A92E4787C76200D8A6364EBF6105C8B31F80

Key	Value
FileSize	13815188
MD5	2FE0F86B9A12573A3144EF837123E4E5
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.6-5build1
SHA-1	4A43CC5C2F3C805668183CE221438E1F9D0BCB80
SHA-256	D295FAF897D69145A34FE5BEFC95A467B98397488F8AB94C140829739FC7804B

Key	Value
FileSize	13843460
MD5	BA007E903136AB27F86D111A39D55D17
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.6-5build1
SHA-1	0F01CD261B6C4998DC6C91D0B5C3C1959FD95318
SHA-256	34A754E04A5D5B4BCF259D197FFD00E3283C12C981678423F360E5573AB93374