Parents (Total: 7)

The searched file hash is included in 7 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
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
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