Parents (Total: 79)

The searched file hash is included in 79 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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.5/packages//i386//coq-8.4pl2.tgz
MD5	E357900724C3C98CD3C647F3ECCA95AC
SHA-1	027ED3D5C9D15F56146AAE2EDAC3D6E3CE6CA1F3
SHA-256	D99AEDA9842FA0DD6A11874D3DE799EB7EB738653CE81C41B64E4757979D471A
SSDEEP	1572864:eXFm2b7sKC++BoK7nJixs7jwbuQ/ZszIPwVDVe:a42HVf+BoKMy7jPVzIP4E
TLSH	T14E08336859EFF2FE0463D29BCD771BB354B41E40E88BEA55382C4A15A84E7C10D336B9

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/5.6/packages//sparc64//coq-8.4pl3.tgz
MD5	3D4C4925CCB06D3888E2FCF73C72EFB5
SHA-1	0ABF7A2D015BC221D0E5E1F0970E6685DBF12B8C
SHA-256	95A4AFA4DFC1EAA8A4D792DBEEAAFC05915601D3F59DF4361A9797135468DE80
SSDEEP	1572864:2c0j9X5BhqCazUy+oib0t4EjzDB9h9FEg04j+J2Yfy6m+dV:2c0jV5faQMrzDB9h8CqJ2Q
TLSH	T1A9D733C2E6838D6DB9BC2D72A5193FFA5A1721F40BD110716A3C63D1A69F23C4DB881D

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
FileSize	678034
MD5	1DBB65CA6A20F3F8C4102A66AD879D99
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	203514BBB1D1F167F02DC7094D88A834D698D694
SHA-256	1F7384D9720FD4DCD1E795C4179932D31212A1F7F5D469A8D5DE1C4FFFCE8C14