I added TPTP to the build server, so the build is working properly again ...
ms
This archive was generated by hypermail 2.0.0 : Sun Oct 30 2005 - 09:36:52 EST