Index of ftp://bo.mirror.garr.it/1/eclipse/tptp

[DIR] Parent Directory

[DIR] 4.5.2.1  117.00b  March 8 2020
[DIR] 4.7.2  100.00b  March 8 2020
[DIR] 4.7.3  24.00b  March 8 2020
[ ] dev  219.00b  March 8 2020
[ ] dev.backup  219.00b  March 8 2020
[DIR] macos  24.00b  March 8 2020
[DIR] requestBuild  10.00b  April 10 2007
[ ] TIME  10.00b  March 8 2020
[DIR] updates  4.00Kb  February 25 2011
[DIR] ztime  25.00b  March 8 2020