On Jul 11, 2007, at 12:00, Denis Bueno wrote:

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.

I changed the master_sites in r26928. Thanks, Denis. Paul, I hope you don't mind.