Parents (Total: 46)

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

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.0/packages//amd64//coq-8.4pl6p1.tgz
MD5	ADF6DD8234B4DD8EAEE431BE4EEFF2DD
SHA-1	00330D8A1013AA0A7745547F4A6E31DB202C5A64
SHA-256	EFD4BF8A6D62559EE8186541BE6C5AF5266369E889B2F4BDD3F0DF87E8B3DC61
SSDEEP	1572864:o1feq9z2XQfRhWfBTSG3UWS/b+qwxG1RW/MJqoApv6vXFLWLXc+II2lPkUURszRa:IzOyof1FY+qwxGHJMdSFLW7Hh2l8UUWk
TLSH	T1CD083314E2F81E0D15213B89844CE6FE066134A931DBC545EA6C6D5CFE3B1EE26E3C6E

Key	Value
MD5	30F1794F62ED7C3EC346212F938A2F45
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 the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	4.fc23
PackageVersion	8.4pl6
SHA-1	008E9387ECC1ADEBDC9652A57B95D57FEC753697
SHA-256	107062DDF62B2028B2B00CCFC3DE8DF5F8543796C25C1E1ED860ECFCF8F0317B

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.8/packages//powerpc//coq-8.4pl6.tgz
MD5	894BF3A3BE794758749736275ECC82A8
SHA-1	04DB6A42CF685A9A81867D59D174D82CF8359C91
SHA-256	A9F0F2F4803B876F3650B6F5241F77A3BA3461888ED67648555D636454228C7C
SSDEEP	1572864:48Z0HgeyVKBNRHR0pdnJQ2jFbPyjU2/Q60KSlzZH:4BBNRHRCdJQobPH2n0KS11
TLSH	T1FCD733D49213644EDB30539B924FD6D197F37B702AEB1C929C067DAA7B0613E104EAE3

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.4/packages//i386//coq-8.4pl6p3.tgz
MD5	D5CD970ECC02B3FE07DEC0EC9EAA6D30
SHA-1	171ABB3E54A259DB933FF659822A5B616CF2E71B
SHA-256	677C7995BE32B16F90BE21025E14F45DC68629B8A8D185662A5DA3230B2407E7
SSDEEP	1572864:3B+SAw/Vxp49wKWKI/b+qwxG1RW/MJqoApv6v7O2FLWLXc+IZ7T4UUR6QR0rRIRy:xJhx4sKy+qwxGHJMd12FLW7HS7T4UUBk
TLSH	T1D108339CE7A878DD01303B404CBCE5FA1598A1B4508E5A43665A1FDCCFB7AEB660790F

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.7/packages//alpha//coq-8.4pl5.tgz
MD5	C668A460A690F0960480E00B18704681
SHA-1	183B267C4E6803E1DB2158A1B6A908906E3BAE6E
SHA-256	22706908585483AE673D00208ADF34E66CCACD2BCD2A0F8E77CDA1DC5B77CC0C
SSDEEP	1572864:jfvUDYeMPuU1Ec5qYzz1xGruvn9uhIZRgcQyjzgCGXUdLhKG1:D8UeMmI5qIz1oruv9YIZS9yngCGXUdLB
TLSH	T1FCD7337ABD69D806780B0B5157761AADCBF21BC22D37344788D160E44EBB1A8C7E1CED

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.7/packages//amd64//coq-8.4pl5.tgz
MD5	1E5849B4124A63BF3B95598EF9C6FF82
SHA-1	1983900CA213D9782D4F91299FE4F2A251D06172
SHA-256	4769F105AD63E0573CBE213935303792139DD523F6A119C0AE79C6055E2099FE
SSDEEP	1572864:iTCO1ijn+N4pKH6HYRJf7XgD+pGhrQ3/LomcbQWPpMVYDZIsVBv:iTCO1Y+KpKH8spGpaoZQIaYyq
TLSH	T15D08331450F48F2A8D90A71CE6176048CF1923DA711E41BFC41DA7BBEF632DD97A38A6

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.0/packages//i386//coq-8.4pl6p1.tgz
MD5	97521B781D79C9572800A6233E8F64A5
SHA-1	1A3EAAB156F69DA30E7843FAF973D2BED362529D
SHA-256	9EFA6BA5478389B8B445203EF77067C85A04E47878343790A49FD41B9838112A
SSDEEP	1572864:by7nt08hZuMOUWS/b+qwxG1RW/MJqoApv6v7O2FLWLXc+IZ7T4UUR6QR0rRIRsBl:EYY+qwxGHJMd12FLW7HS7T4UUButCsBl
TLSH	T18D08339CDAB1359D01313B0009DCD6FB046A95B2909F9E67638D2EE5FA3BED62161C0F

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.1/packages//arm//coq-8.4pl6p2.tgz
MD5	0B2BF0F15928F55632D6FFEA5A676435
SHA-1	1E8EE15706BC62C288A8CB7F07C937415378EB44
SHA-256	E3360059A317A181411DC9F6ED948A29CB5299ABF5AEFC1A5E08585CD296DCE5
SSDEEP	1572864:40NimXVj6V5sVZ+7HyWowJPqVuAndnm1KnpitsQpD:40FXEs4SnwJPqVuUndn0tsQV
TLSH	T13ED733D4E1A3CBCD518DE7988788456A22782092159D95B2CC3DA4C20B756BC3FFBCDB

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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.2/packages//amd64//coq-8.4pl6p2.tgz
MD5	E770E79B05A6C717EC7A1029C53CF72D
SHA-1	37C1C08188CAC52F202A69768763A0D5AB258CFA
SHA-256	B32F08A92EF1DDAAA966A3B8BABC7FDA4F40A0567594242FDF8CA63577E31938
SSDEEP	1572864:yO46nEszZtUIp+SfeZq9TgEhW/V2/b+qwxG1RW/MJqoApv6vXFLWLXc+II2lPkUX:yWnEsz11mZq9iW+qwxGHJMdSFLW7Hh2Z
TLSH	T1D60833A4F6F82D0C34A03F896ED8E4BC456124E523CFCA43E64E995DCD3B0EA9557C4A