With immediate effect all files of the PUMA repository are also available from https://developer.berlios.de/projects/puma-repository/ . The standard server http://puma-repository.sourceforge.net continues to be available.