[news.eclipse.newcomer] TPTP 4.4 plugins location for linux

[ts_balakrishna@xxxxxxxxx (Balakrishna)]

Hello,
> I need to install TPTP 4.4 Plugins for linux.
> > 
> There is no direct link for TPTP 4.4 plugin for linux
>
> I could get the link for Windows at the following link :
>
> http://www.eclipse.org/tptp/home/downloads/
>  
> In the above link there is a link for TPTP all in One package , 
> Windows
>
> But  there is no link for Linux
>  
> Could you please help me out with a direct link or the mirror site 
> for downloading TPTP 4.4 plugins for Linux?*
>  
> I am using Eclipse 3.3 and trying to do the setup with TPTP 4.4 on 
> linux environment.*
>  
> I need gtk  support install files and for Redhat linux 4.0 platform.
>
>  Thanks & Regards,
Balakrishna