![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| eclipse-3.6.1-acl2s-1.1.0.2-linux-x86.tar.gz | 12-Feb-2013 19:58 | 155M | |
| eclipse-3.6.1-acl2s-1.1.0.2-linux-x86_64.tar.gz | 12-Feb-2013 19:58 | 150M | |
| eclipse-3.6.1-acl2s-1.1.0.2-macosx-x86.tar.gz | 12-Feb-2013 19:59 | 118M | |
| eclipse-3.6.1-acl2s-1.1.0.2-macosx-x86_64.tar.gz | 12-Feb-2013 19:59 | 118M | |
| eclipse-3.6.1-acl2s-1.1.0.2-win32-x86.zip | 12-Feb-2013 20:00 | 151M | |
| eclipse-3.6.1-acl2s-1.1.0.2-win64-x86_64.zip | 12-Feb-2013 20:01 | 144M | |