Parents (Total: 9)

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

Key	Value
FileSize	3734144
MD5	CABFACAD62E117E62CA4E5EBE8FD27EC
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.4pl4dfsg-3build2
SHA-1	BF10C6DC48BD435101920A6D72551DE141A71344
SHA-256	6DFE68E666A2A6261EA06470FB311F1413F6E939423C5C6149E9AF68BF9E34CC

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

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
MD5	0CF3D9FA257E4F8547D7296DCFCBC21D
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	4.fc23
PackageVersion	8.4pl6
SHA-1	B4415F51F5799821AAF150C4141C1A9A546EAC0B
SHA-256	90CDBE8B53CE374A8F1E43CE8FDAC54175C9580FF50E6CA8C1FC5B5146AA75C3

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//i386//coq-8.4pl6p0.tgz
MD5	0D2C1D7F4B534395004408DE44063E75
SHA-1	D2567CC629030D2DBA4B5CD309BEA5882A21300A
SHA-256	7706C94FC54891A73FA294E2188058D3887A4917C000AB020007D77FC9C06DCE
SSDEEP	1572864:L/UdEtudc1Hzp9JZZTzhEEpFXuuxKslkEC0BxgOm3ThEQC7p42bBotct:zUOudc1H7ZTnFLKECdO8Th/HkGw
TLSH	T1B00833F4E44CD1BC1C7881600460C996D51AF2C4D1DFEA6FEAAE0693C3BE7AA1F83556

Key	Value
FileSize	3670362
MD5	F8C47058857B3D6D8B559649D47AA703
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.4pl4dfsg-3build2
SHA-1	BEB088C3FA80BD5501D84BDD1B37A1E3C2657E8D
SHA-256	22E5B97A974228C18A1B9F1B04A26658D0572626A8B137BC3BEE964B55BF04C9

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//powerpc//coq-8.4pl6p0.tgz
MD5	38DD4338998220B829CC18E0FBBC2BD4
SHA-1	EA301D6B978868271C4D7A685DF76DAFFAF26172
SHA-256	EE23674A2BCE0B99798178207CF55AE62B7869D503395EC52837656DBE96C7AA
SSDEEP	1572864:d8CSqNyVKBNRHR0pdnJQ2jFbPyjU2/Q60KSlzZ/:dvBNRHRCdJQobPH2n0KS1F
TLSH	T1D7D733C88243908DCB34E3DB654EC5D5835357B03AAB1D11DC5A2EB77B2B17E206E6E2

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//amd64//coq-8.4pl6p0.tgz
MD5	6B9A86A8700097795A2088D9DC7AAA96
SHA-1	6D444EFF7A7420DD0AC9744EC1F754F6CCC277E3
SHA-256	2CB2A740E31949B7F65364CE57E90A3CBE4ED2B9C0D9F923F757C241F6311342
SSDEEP	1572864:f9ssOaCW+e4z3EEpFXuuxKslkEC0BxgOp3ThEzgfKC7p4T7pbBotcW:FssIfe4pFLKECdOdTh0CKHpG/
TLSH	T1CB0833F8F0898A1D1C1583700C90745ADE29A7DDA3CB94EFDD7C19C2625E1BD2B81A7B

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