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	473720
MD5	512439FD435BDE2A002B0788B053B4A0
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	6BF752FAE086FD79AF57D3C2CD3DC8017CD66CF5
SHA-256	B624112BA962DA667950A36316AF845F2A5FD205617941E772A238A538A6A89C

Key	Value
FileSize	50422
MD5	D95A17B5E17B79C8EA74DCE9C70CA7F8
PackageDescription	documentation 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc
PackageSection	non-free/doc
PackageVersion	8.4pl4-1
SHA-1	BA06CC4514E75B84D0257D89CDE67CDB22D1832F
SHA-256	17F2DCA7BF2C864CD9C5E1F59EB533656EF659A1F0EA49447F21AC09AB14BCD5

Key	Value
FileSize	2592376
MD5	338D9464CFD5B6725AA11D38BD5DF5AE
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	4F2A7E83C90CC8C32980F3CBD9A1131870529094
SHA-256	327BE56C7FCE4CC98DFF30A5CF05A84B9B2698D213EEA0BB0E8B2F5E581D4ABD

Key	Value
FileSize	2423032
MD5	E52025F7FDF99B4510B55571F6DE243F
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	F131A33FB09EF3D18CE05588610D227143F9E979
SHA-256	35C6FFB9E1009B0FA7F9A64D86CE2E9CE135382176CE6F1B593721DED4A33FBF

Key	Value
FileSize	2466854
MD5	774D56FC94FD7D5166141388B68A71E6
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.4pl4-1
SHA-1	3121C0119BC91B8BEDED5781C909116638234B52
SHA-256	C1D5A3BBF0A11223BD98ACB608CA8B6B605C64770E7AA18EEE44C5A95748B622

Key	Value
FileSize	2467952
MD5	21871C24E455EEE22A6DCFE5628532EB
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	4350756C8063E8776A8348E384158259ABEF20C0
SHA-256	60FC068137C9B5DA3B5AF47C4E22C71A0D5098B2646F0873F2828C656A213DEC

Key	Value
FileSize	2534360
MD5	CFFACECCCFE03277A5543A87D8A5F071
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	30C6F7360B653B40CDB89E8553AD512253362D1A
SHA-256	12C9801AA5FC63E4C7FC8F0AC5CA5FFAF09A62AEEDBFA36DF1DA61D9F6F16DC6

Key	Value
FileSize	4390
MD5	650A1102AA9F3AD7A91E70FE62434CA3
PackageDescription	documentation 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	4CC470E2B7027AF5A9DE602BA2B9CBE7B8AA8F6D
SHA-256	C9A219AE44525621A6A8ECD70A27B798FCCC565AF9D2453C2DAFCF27559ADE25

Key	Value
FileSize	548554
MD5	9632CC05FA4B726F40D931DD1350D0EB
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	8AC904D680E0AC36CE1D804EB207538C415526A1
SHA-256	0ED05F70217FD734D413CF7AE4DC0497BA466353305F46A2C803168485B64EE3

Key	Value
FileSize	473846
MD5	61EFD869800F952A327F72ACD00BFF71
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-1
SHA-1	57BFA032F7F8D165F114D2DEDA5642CF02A64610
SHA-256	D75B52A786E3650B60848D557A75CA7F6859F5C0D4ACB3F1DF3276FD2493C742

Key	Value
FileSize	462740
MD5	7CC59BC8505B5418704944BB8171ECCD
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	822DF86E6B488955ECD75D3E62647048F10369F5
SHA-256	5FF5F9B3AC2136E450CBB61573CCBF90CB5B8C7DD084774839BF3C4DDA35E588

Key	Value
FileSize	415730
MD5	8E3CF067AFA4C244A8266919B5F6E85D
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	11F7B783916C028594BA7AF40CD3E7CC3B86EC3C
SHA-256	E97F5A4941486399AC576EF0173B68B71B54325175365EDFB7BC48ABEA7F55F3

Key	Value
FileSize	4402
MD5	CE6E42CE22ED1FE08342DF65F51C008D
PackageDescription	documentation 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	7ABB1469CB4BE87BFD4C186A964F161A85255A98
SHA-256	F51E13641FDF70639C585D05CAAA729D196B8378E2552324AAB69D6E5C8EC1F9

Key	Value
FileSize	63758
MD5	6DC4BE592DFA4E4AF0484FEF809406B4
PackageDescription	documentation 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	163AFF2CF3C2A0EDC00DE2CCD87FC35995415B1C
SHA-256	1F99C276671FAFD5D4617D1A53495C97B4F25ACFA07ADD51337579DB29A8F011

Key	Value
FileSize	50462
MD5	D277E14458467F623AAD99B7FBAE665C
PackageDescription	documentation 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	6D1CFBD1EE5B4B5096C5B6ECCF1A150D3A14002A
SHA-256	381EB08D65EA44F0378AB81403996212C096E1E6EC41EADEAF5CF72542EB739F