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

[DIR] Parent Directory

[ ] artifacts.jar  829.00b  March 8 2020
[DIR] features  70.00b  March 27 2007
[DIR] plugins  83.00b  March 27 2007