# robots.txt for http://archimedes.sourceforge.net
User-Agent: *