#######################################################################################
# TPTP
# Eclipse TPTP Dependency
# TPTP will be used for API scanning
# groupID : tptp
tptp.url  = http://archive.eclipse.org/tptp/4.0.0/TPTP-4.0.0-200507181519
tptp.releng.url  = http://download.eclipse.org/webtools/downloads/drivers
tptp.file.linux-gtk-x86= tptpdc.linux_ia32-TPTP-4.0.0-200507181519.zip
tptp.file.linux-gtk-ppc= tptpdc.linux_ppc64-TPTP-4.0.0-200507181519.zip
tptp.file.win32-win32-x86 = tptpdc.win_ia32-TPTP-4.0.0-200507181519.zip
tptp.name = TPTP DC v4.0
tptp.description = TPTP DC v4.0

piagent.url  = http://archive.eclipse.org/tptp/4.0.0/TPTP-4.0.0-200507181519
piagent.releng.url  = http://download.eclipse.org/webtools/downloads/drivers
piagent.file.linux-gtk-x86= tptpdc.linux_ia32-TPTP-4.0.0-200507181519.zip
piagent.file.linux-gtk-ppc= tptpdc.linux_ppc64-TPTP-4.0.0-200507181519.zip
piagent.file.win32-win32-x86 = tptpdc.win_ia32-TPTP-4.0.0-200507181519.zip
piagent.name = TPTP DC v4.0
piagent.description = TPTP DC v4.0
#######################################################################################