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	7816032
MD5	EE90D72924C08ED82C4E1CA5C0828F37
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	E42DE33FB7CE937E71D63FA24AF255A22890FABC
SHA-256	95124BEF9C1F5F490256B6A93E4FE7D3C83291C53E2E3BAEB44D56E6EC75935D

Key	Value
FileSize	7758156
MD5	2438578B8FCE027A3BE422D4CA2E7443
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	06206D670135067F428C8FF09A10AEFB346DE578
SHA-256	1E9EF830EE90B7E829E04009FB79637795C3CB8FBE16C9E39220A75D4FD05E92

Key	Value
FileSize	7575772
MD5	0CDA97F51035C8C190C341D8F9987CA5
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	0CCB257431A90B2CC1A1261E33CCC01CE29E0651
SHA-256	F857F52C1AC0F4E965A746843163CDC2161A0F606F407FEBC9729B5680CF82B7

Key	Value
FileSize	7569328
MD5	8D970D2D847F511B00320D49B03770CC
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b2
SHA-1	333C0B639137D775A26E90B975F2242554D9686A
SHA-256	D9AA6F7A021A956B3A50A189F13D9A66A72E8B00D0F0AFAFB9E170CAB4F3DDBF

Key	Value
FileSize	7761932
MD5	EF1126AD34E12167B3D1F8173E75D9C1
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b2
SHA-1	6EC5122FAB2E83BF9C3863D4D3698F2DC5971C6C
SHA-256	26C13B613A25699DE3B1C4C105B10D5E6309F3B81091D3311E297AC8DAB6D7F9

Key	Value
FileSize	7742568
MD5	AA2DD864ED332394144800496AF579C4
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b2
SHA-1	FAF1C2783738812ED72AED87FF2BE642A88E443B
SHA-256	D8BCAAD305EA45BF7B58198B1966063A9C0722DBA75CFEDE6745FD954AA228A3

Key	Value
FileSize	7743064
MD5	CF093C366781AC2A86B115DB23858017
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	3CE37BE863400D8C6CA1F096C9DC9BD9D82796F8
SHA-256	821EC9F4F5E29C148966430769E6A192F250CDE128D17329ED27182B6CE2FB9C

Key	Value
FileSize	7974072
MD5	E9095ED2359D3538D38780F22D35C59F
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b2
SHA-1	EDB513082B59B30DCC03F376103FBF8AA0DC15BE
SHA-256	74E2162E654815220B55D1A07C32C9BE23705947E69A12C839F7E9AD0976D1D9

Key	Value
FileSize	7729056
MD5	056FD1EF2AEBDAF0BC4875E0FA93F20E
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3build3
SHA-1	A8517B545FB0BBAB89CB14F20A9A413C84B6F928
SHA-256	AB46482C82D943B0B7DFEEC4CDED2680C01B574377617628A029261B6C715BC2

Key	Value
FileSize	7980456
MD5	2C152CBFBD718D935A67F9C3FCF3EF59
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	622491D7013529D23EDD6B84F1760C1E0A757E6C
SHA-256	38DBD444C0C4E2BAA57F808BA746BEB9244C535EB89ECDA5592F94866989071A