In order for libaterm to download, the following should be added to master_sites: http://homepages.cwi.nl/~daybuild/releases/ Apparently http://www.cwi.nl/projects/MetaEnv/aterm/ (the current master_sites setting) is permanently outdated, but I can't be sure of that. -Denis