Parents (Total: 33)

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

Key	Value
FileSize	13630512
MD5	4E6BFA96BCEB66AB57C6144D4FCBBE56
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-4
SHA-1	06D14DF4705B851E262211256A4A4E21920DB4A9
SHA-256	BC4F409E8D2C9D4D974AADAE354CFB9AAC63026C8CBDA262CA3482DC5B6FB432

Key	Value
FileSize	9956010
MD5	5C2286C4E767EA43D36C7A5DAB1EDCBB
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-4
SHA-1	0723A1F554C7BB20A717A22BC5259A5D836F99BB
SHA-256	D06BFA6EB0FAB6FDED72D8A05F955798D987B6841134B7211EA8DAE8E5869A3B

Key	Value
FileSize	9926918
MD5	0BF443291DB29B000081D84499CA9D46
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.5-2build1
SHA-1	09DB280E7D0C763A4F20856C847542946B04F66C
SHA-256	A71C18AF2267D33C8FF3CB160595735F9E1DB69C8CF4C26F65286B7C197ADC3C

Key	Value
FileSize	9959486
MD5	9050BEFCC55D6EFE19907FEEDD80622C
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-4
SHA-1	0DA14F3ECDC7C9DDCA0FE17CA6356D15F107ECF9
SHA-256	134D9D92B65E6E728521765C4B2CD129F12C245FCE6B11CA216C5CC66924EBA3

Key	Value
FileSize	13307820
MD5	FB04AC489A3912B7BD41857863A060CC
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.5-2build1
SHA-1	0F3B75B268D6A8EEF24F521DDA1E8E8FB5D41F5B
SHA-256	4390DEE95AD722CCF6D56EA7FEA772435253008AE2D6DFD5767A04B397079F51

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//sparc64//coq-8.4pl6p0.tgz
MD5	91BED74D7B992DC2A41AFC25550D04ED
SHA-1	317CC570136774DCD5334E4715F5B2F20C2C0036
SHA-256	3E0ECF62B3BE062D340EAA31ED6CD0FBD5FCA41E9D427889C1D2AA511F67A4A9
SSDEEP	1572864:tr+pjYSqNyVKBNRHR0pdnJZn2jFbibGjU2/Q6CmlzZt:le6BNRHRCdJtobibj2nCm1L
TLSH	T181D733DC4417A08E5738D39B790FC596A2B253B036BE0E19CC1B2B77772B51E109DBA2

Key	Value
FileSize	13517276
MD5	9CCA6C9B73CB799E415C055F4483ECB1
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-4
SHA-1	37DCAE9BD540EB433C42CB4B6FA173F54539FFF9
SHA-256	943EC149E16B4CBCE47CAFBD80A5C3A2854F82120448244903E12C7C637E7EF0

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//alpha//coq-8.4pl6p0.tgz
MD5	8E3C6DA1F38E1A7368B8784FF6D50F93
SHA-1	417831BA0D6A3501E9D0F1D020F2946FBA397791
SHA-256	0133A47CA8B1AD9E0A5DE1285A532B200DDFF1239E2148D878AA3D055D32EF66
SSDEEP	1572864:aaRfeSqNyVKBNRHR0pdnJZn2jFbibGjU2/Q6CmlzZ6:aaRfgBNRHRCdJtobibj2nCm1U
TLSH	T1F4D733CC5117E08D8734A7AA250FC5D293B2537076EA1E45CD5B2F63BB3F12D106AEA2

Key	Value
FileSize	13008002
MD5	639D3590241C58495A3A072318FED8B4
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.5-2build1
SHA-1	43F135ADE232A782506EDDD70582778A57BFA929
SHA-256	20448B66879EBAFC5C2779F60FE3895C5B9EC8ABECAE2147AC5CAB23262AAEF9

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//mips64el//coq-8.4pl6p0.tgz
MD5	D547B33880DE57EEB5AB4BBCBF391978
SHA-1	53736B86AD24F23DE4B91890FF62E7293A2D383E
SHA-256	2835C2172F8CE4C3E403D3DAD30437217FA2A8A078FCCAA8E149B7DC13C47B32
SSDEEP	1572864:eVSqNyVKBNRHR0pdnJZn2jFbibGjU2/Q6CmlzZX:oBNRHRCdJtobibj2nCm1F
TLSH	T154D733DC4117A08E5734979B604FC59653A353B076FB0E198D272A73BB2F12E206DEA3