| ####################################################################################### |
| # 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 |
| ####################################################################################### |