Hello The homepage for the ltl project has changed to http://www.mpe.mpg.de/~drory/ltl/ and the download URL to http://www.mpe.mpg.de/~drory/ltl/ltl-1.7.10.tar.gz If needed, please relate how I should apply these changes.