11 Jul
2007
11 Jul
'07
10:54 p.m.
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.