| jeffliu | ec0a597 | 2006-05-31 03:06:54 +0000 | [diff] [blame] | 1 | ####################################################################################### |
| 2 | # TPTP |
| 3 | # Eclipse TPTP Dependency |
| 4 | # TPTP will be used for API scanning |
| 5 | # groupID : tptp |
| 6 | tptp.url = http://archive.eclipse.org/tptp/4.0.0/TPTP-4.0.0-200507181519 |
| 7 | tptp.releng.url = http://download.eclipse.org/webtools/downloads/drivers |
| 8 | tptp.file.linux-gtk-x86= tptpdc.linux_ia32-TPTP-4.0.0-200507181519.zip |
| 9 | tptp.file.linux-gtk-ppc= tptpdc.linux_ppc64-TPTP-4.0.0-200507181519.zip |
| 10 | tptp.file.win32-win32-x86 = tptpdc.win_ia32-TPTP-4.0.0-200507181519.zip |
| 11 | tptp.name = TPTP DC v4.0 |
| 12 | tptp.description = TPTP DC v4.0 |
| 13 | |
| 14 | piagent.url = http://archive.eclipse.org/tptp/4.0.0/TPTP-4.0.0-200507181519 |
| 15 | piagent.releng.url = http://download.eclipse.org/webtools/downloads/drivers |
| 16 | piagent.file.linux-gtk-x86= tptpdc.linux_ia32-TPTP-4.0.0-200507181519.zip |
| 17 | piagent.file.linux-gtk-ppc= tptpdc.linux_ppc64-TPTP-4.0.0-200507181519.zip |
| 18 | piagent.file.win32-win32-x86 = tptpdc.win_ia32-TPTP-4.0.0-200507181519.zip |
| 19 | piagent.name = TPTP DC v4.0 |
| 20 | piagent.description = TPTP DC v4.0 |
| 21 | ####################################################################################### |